From b1bc4ce4300098c15d2774a75e1d5a6b84dbcaa5 Mon Sep 17 00:00:00 2001 From: Jay McCarthy Date: Wed, 19 Mar 2014 15:17:01 -0600 Subject: [PATCH] stlc sub 3 --- .../redex-examples/redex/examples/benchmark/stlc-sub/3.diff | 4 ++++ .../redex/examples/benchmark/stlc-sub/stlc-sub-3.rkt | 3 +++ 2 files changed, 7 insertions(+) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/3.diff b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/3.diff index feb5a7b227..567e5ff380 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/3.diff +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/3.diff @@ -6,3 +6,7 @@ < ((subst M x v) (subst N x v))] --- > ((subst N x v) (subst M x v))] +290a291,293 +> (define small-counter-example +> (term ((λ (x int) (+ 1)) 1))) +> (test-equal (check small-counter-example) #f) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-3.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-3.rkt index 373a69477a..48c3e5f643 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-3.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-3.rkt @@ -288,3 +288,6 @@ (generate-term stlc M #:i-th index) (set! index (add1 index)))))) +(define small-counter-example + (term ((λ (x int) (+ 1)) 1))) +(test-equal (check small-counter-example) #f)