polystlc 5
This commit is contained in:
parent
ef6b2934c1
commit
99bded9346
|
@ -6,3 +6,7 @@
|
||||||
< (in-hole E v_2)
|
< (in-hole E v_2)
|
||||||
---
|
---
|
||||||
> (in-hole E v_1)
|
> (in-hole E v_1)
|
||||||
|
294a295,297
|
||||||
|
> (define small-counter-example
|
||||||
|
> (term ([tl @ int] (([cons @ int] 1) [nil @ int]))))
|
||||||
|
> (test-equal (check small-counter-example) #f)
|
||||||
|
|
|
@ -292,3 +292,6 @@
|
||||||
(generate-term poly-stlc M #:i-th index)
|
(generate-term poly-stlc M #:i-th index)
|
||||||
(set! index (add1 index))))))
|
(set! index (add1 index))))))
|
||||||
|
|
||||||
|
(define small-counter-example
|
||||||
|
(term ([tl @ int] (([cons @ int] 1) [nil @ int]))))
|
||||||
|
(test-equal (check small-counter-example) #f)
|
||||||
|
|
Loading…
Reference in New Issue
Block a user