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

Compare commits

base: enrico:a376f31d4abd191caf0a36ed0b1db42eb740c173
Branches Tags
enrico:master
enrico:racket
..
compare: enrico:0fd4666235fb507ac7e0500f9152a6a13e92be76
Branches Tags
enrico:master
enrico:racket

No commits in common. "a376f31d4abd191caf0a36ed0b1db42eb740c173" and "0fd4666235fb507ac7e0500f9152a6a13e92be76" have entirely different histories.
a376f31d4a ... 0fd4666235

1 changed files with 5 additions and 12 deletions
Show Stats Expand all files Collapse all files

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

@ -1,8 +1,6 @@
#lang racket #lang racket
(provide cvar-to-bril-tests) (require "test-util.rkt")
(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")
@ -13,8 +11,7 @@
(define listings (define listings
(list (list
(Program '() (Prim '+ (list (Int 1) (Int 2)))) (Program '() (Prim '+ (list (Int 1) (Int 2))))
(Program '() (Prim '+ (list (Prim '- (list (Int 1))) (Int 2)))) (Program '() (Prim '+ (list (Prim '- (list (Int 1))) (Int 2))))))
(Program '() (Prim '- (list (Int 1) (Int 2))))))
(define (evaluate-bril-main bril-program) (define (evaluate-bril-main bril-program)
(cadr (interp-bril bril-program "main"))) (cadr (interp-bril bril-program "main")))
@ -22,10 +19,6 @@
(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)))))
(define cvar-to-bril-tests (for ([program listings])
(test-suite (test-eq (interp-RVar (list-ref listings 0))
"CVar to bril testsuite" (evaluate-bril-main (pass (list-ref listings 0)))))
(test-case "semantics preservation under interpretation"
(for ([program listings])
(check-equal? (interp-RVar program)
(evaluate-bril-main (pass program)))))))