enrico
/
eoc
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Convert cvar-to-bril tests to rackunit

This commit is contained in:
Enrico Lumetti 2022-08-11 00:27:58 +02:00
parent 9063858c78
commit a376f31d4a
1 changed files with 10 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
test-cvar-to-bril.rkt
View File

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