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")
+