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

add script to run all rosette tests (no require)

Browse Source
This commit is contained in:
Stephen Chang 2016-09-06 13:59:46 -04:00
parent c601a4f46b
commit e3fc26354d
1 changed files with 12 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
turnstile/examples/tests/rosette/run-all-rosette-tests-script.rkt Normal file
View File

@ -0,0 +1,12 @@
#lang racket/base
(require macrotypes/examples/tests/do-tests)
(do-tests "rosette2-tests.rkt" "General"
"rosette-guide-sec2-tests.rkt" "Rosette Guide, Section 2"
"rosette-guide-sec3-tests.rkt" "Rosette Guide, Section 3"
"rosette-guide-sec4-tests.rkt" "Rosette Guide, Section 4")
(do-tests "bv-tests.rkt" "BV SDSL - General"
"bv-ref-tests.rkt" "BV SDSL - Hacker's Delight synthesis")