From 7fc57ba1adbb3ce66541f53343ba47fb87949aaf Mon Sep 17 00:00:00 2001 From: Jay McCarthy Date: Wed, 19 Mar 2014 14:59:09 -0600 Subject: [PATCH] stlc 1 counter --- .../redex-examples/redex/examples/benchmark/stlc/1.diff | 5 +++++ .../redex-examples/redex/examples/benchmark/stlc/stlc-1.rkt | 4 ++++ 2 files changed, 9 insertions(+) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/1.diff b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/1.diff index e47334df83..898f30dcbc 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/1.diff +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/1.diff @@ -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) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-1.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-1.rkt index 0b53b88384..9186e9bdf0 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-1.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-1.rkt @@ -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)