suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

stlc 1 counter

Browse Source
This commit is contained in:
Jay McCarthy 2014-03-19 14:59:09 -06:00
parent 33ca8d05db
commit 7fc57ba1ad
2 changed files with 9 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/1.diff
View File

@ -8,3 +8,8 @@
> (typeof Γ M_2 σ_2)
238d237
<
270a270,273
>
> (define small-counter-example
> (term (hd 0)))
> (test-equal (check small-counter-example) #f)

4
pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-1.rkt
View File

@ -267,3 +267,7 @@
(begin0
(generate-term stlc M #:i-th index)
(set! index (add1 index))))))
(define small-counter-example
(term (hd 0)))
(test-equal (check small-counter-example) #f)