From 9b8697fa6e8d71e8e1d155109b505711b38eb65f Mon Sep 17 00:00:00 2001 From: Jay McCarthy Date: Wed, 19 Mar 2014 15:11:39 -0600 Subject: [PATCH] stlc-sub 1 --- .../redex-examples/redex/examples/benchmark/stlc-sub/1.diff | 4 ++++ .../redex/examples/benchmark/stlc-sub/stlc-sub-1.rkt | 3 +++ 2 files changed, 7 insertions(+) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/1.diff b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/1.diff index fa4c87b271..9a331fea9c 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/1.diff +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/1.diff @@ -5,3 +5,7 @@ 106,107d105 < [(subst x x v) < v] +290a289,291 +> (define small-counter-example +> (term ((λ (x int) x) 1))) +> (test-equal (check small-counter-example) #f) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-1.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-1.rkt index 2e684e4f71..7724ee59ed 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-1.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-1.rkt @@ -286,3 +286,6 @@ (generate-term stlc M #:i-th index) (set! index (add1 index)))))) +(define small-counter-example + (term ((λ (x int) x) 1))) +(test-equal (check small-counter-example) #f)