some file renaming

turnstile/examples/rosette/synthcl3.rkt

@@ -646,7 +646,7 @@
   [⊢ (ro:let ([id- 1] ...) ; dummy ensuring id- bound, simplifies stx template
       (ro:define-values (tmp ...)
         (ro:for*/lists (tmp ...) ([id- typed-seq] ...) (ro:values id- ...)))
-      (ro:parameterize ([ro:current-bitwidth bw]
+      (ro:parameterize ([ro:current-bitwidth bw] ; matrix mult unsat w/o this
                         [ro:term-cache (ro:hash-copy (ro:term-cache))])
        (ro:print-forms
         (ro:synthesize

turnstile/examples/tests/rosette/rosette3/run-all-rosette-tests-script.rkt

@@ -21,6 +21,7 @@
 (do-tests "bv-tests.rkt" "BV SDSL - General"
           "fsm3-tests.rkt" "FSM"
           "ifc3-tests.rkt" "IFC"
-          "synthcl3-tests.rkt" "SynchCL")
+          "synthcl3-tests.rkt" "SynthCL"
+          "synthcl3-matrix-synth-tests.rkt" "SynthCL Matrix Mult: synth")
 (do-tests "bv-ref-tests.rkt" "BV SDSL - Hacker's Delight synthesis")