From a376f31d4abd191caf0a36ed0b1db42eb740c173 Mon Sep 17 00:00:00 2001
From: Enrico Lumetti <enrico.lumetti@gmail.com>
Date: Thu, 11 Aug 2022 00:27:58 +0200
Subject: [PATCH] Convert cvar-to-bril tests to rackunit

---
 test-cvar-to-bril.rkt | 14 ++++++++++----
 1 file changed, 10 insertions(+), 4 deletions(-)

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