From a4dd0ded8f30fbf421b0afa15799db888ba4966e Mon Sep 17 00:00:00 2001 From: Enrico Lumetti Date: Fri, 5 Aug 2022 16:20:48 +0200 Subject: [PATCH] Convert test-rint to rackunit --- test-cvar-to-bril.rkt | 1 - test-rint.rkt | 16 +++++++++++++--- 2 files changed, 13 insertions(+), 4 deletions(-) diff --git a/test-cvar-to-bril.rkt b/test-cvar-to-bril.rkt index 4033014..9580903 100644 --- a/test-cvar-to-bril.rkt +++ b/test-cvar-to-bril.rkt @@ -22,4 +22,3 @@ (for ([program listings]) (test-eq (interp-RVar (list-ref listings 0)) (evaluate-bril-main (pass (list-ref listings 0))))) - diff --git a/test-rint.rkt b/test-rint.rkt index 1eb8855..94e8a1b 100644 --- a/test-rint.rkt +++ b/test-rint.rkt @@ -1,5 +1,8 @@ #lang racket +(provide test-rint-tests) + +(require rackunit) (require "test-util.rkt") (require "rint.rkt") @@ -9,7 +12,14 @@ (define ast1.1 (Prim '+ (list rd neg-eight))) (define program (Program '() ast1.1)) -(test-eq -5 - (with-input-from-num-list '(3) - (lambda () (interp-RInt program)))) +(define test-rint-tests + (test-suite + "RInt interpretation tests" + (test-case + "program with input" + (check-equal? + -5 + (with-input-from-num-list '(3) + (lambda () (interp-RInt program))))))) +