From e3fc26354d8131c1d47218e32fdb393bd43bfd37 Mon Sep 17 00:00:00 2001 From: Stephen Chang Date: Tue, 6 Sep 2016 13:59:46 -0400 Subject: [PATCH] add script to run all rosette tests (no require) --- .../tests/rosette/run-all-rosette-tests-script.rkt | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 turnstile/examples/tests/rosette/run-all-rosette-tests-script.rkt diff --git a/turnstile/examples/tests/rosette/run-all-rosette-tests-script.rkt b/turnstile/examples/tests/rosette/run-all-rosette-tests-script.rkt new file mode 100644 index 0000000..bd11507 --- /dev/null +++ b/turnstile/examples/tests/rosette/run-all-rosette-tests-script.rkt @@ -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") +