diff --git a/test-cvar-to-bril.rkt b/test-cvar-to-bril.rkt index c2bae00..4d1fca7 100644 --- a/test-cvar-to-bril.rkt +++ b/test-cvar-to-bril.rkt @@ -1,6 +1,8 @@ #lang racket -(require "test-util.rkt") +(provide cvar-to-bril-tests) + +(require rackunit) (require "cvar-to-bril.rkt") (require "uniquify.rkt") (require "remove-complex-oper.rkt") @@ -20,6 +22,10 @@ (define (pass program) (cvar-to-bril (explicate-control (remove-complex-opera*-2 (uniquify program))))) -(for ([program listings]) - (test-eq (interp-RVar (list-ref listings 0)) - (evaluate-bril-main (pass (list-ref listings 0))))) +(define cvar-to-bril-tests + (test-suite + "CVar to bril testsuite" + (test-case "semantics preservation under interpretation" + (for ([program listings]) + (check-equal? (interp-RVar program) + (evaluate-bril-main (pass program)))))))