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

add tests to ensure counter examples in buggy versions of stlc-sub aren't

Browse Source 
counter examples in stlc-sub-base.rkt
This commit is contained in:
Robby Findler 2014-03-20 11:56:55 -05:00
parent e9e4f396d9
commit dbd3e04b82
1 changed files with 11 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/tests.rkt
View File

@ -1,7 +1,8 @@
#lang racket/base
(require "stlc-sub-base.rkt"
"../stlc/tests-lib.rkt"
redex/reduction-semantics)
redex/reduction-semantics
racket/runtime-path)
(stlc-tests uses-bound-var?
typeof
red
@ -19,4 +20,13 @@
(term (λ (y int) y)))
(test-equal (check (term ((λ (x int) x) 1))) #t)
(test-equal (check (term (hd ((cons 1) 2)))) #t)
(define-runtime-path here ".")
(for ([f (in-list (directory-list here))])
(when (regexp-match #rx"^stlc-sub-[0-9]+[.]rkt$" (path->string f))
(define small-counter-example (dynamic-require (build-path here f) 'small-counter-example))
(unless (check small-counter-example)
(error 'tests.rkt "the counterexample in ~a also fails check for stlc-sub-base.rkt"
f))))
(test-results)