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

Convert test-rint to rackunit

This commit is contained in:
Enrico Lumetti 2022-08-05 16:20:48 +02:00
parent f7a20171ec
commit a4dd0ded8f
2 changed files with 13 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -22,4 +22,3 @@
(for ([program listings]) (for ([program listings])
(test-eq (interp-RVar (list-ref listings 0)) (test-eq (interp-RVar (list-ref listings 0))
(evaluate-bril-main (pass (list-ref listings 0))))) (evaluate-bril-main (pass (list-ref listings 0)))))

16
test-rint.rkt
View File

@ -1,5 +1,8 @@
#lang racket #lang racket
(provide test-rint-tests)
(require rackunit)
(require "test-util.rkt") (require "test-util.rkt")
(require "rint.rkt") (require "rint.rkt")
@ -9,7 +12,14 @@
(define ast1.1 (Prim '+ (list rd neg-eight))) (define ast1.1 (Prim '+ (list rd neg-eight)))
(define program (Program '() ast1.1)) (define program (Program '() ast1.1))
(test-eq -5 (define test-rint-tests
(with-input-from-num-list '(3) (test-suite
(lambda () (interp-RInt program)))) "RInt interpretation tests"
(test-case
"program with input"
(check-equal?
-5
(with-input-from-num-list '(3)
(lambda () (interp-RInt program)))))))