From 9063858c78b3381804518e31fcc32b5b90518ad0 Mon Sep 17 00:00:00 2001 From: Enrico Lumetti Date: Wed, 10 Aug 2022 23:48:23 +0200 Subject: [PATCH] Test subtraction --- test-cvar-to-bril.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/test-cvar-to-bril.rkt b/test-cvar-to-bril.rkt index 9580903..c2bae00 100644 --- a/test-cvar-to-bril.rkt +++ b/test-cvar-to-bril.rkt @@ -11,7 +11,8 @@ (define listings (list (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) (cadr (interp-bril bril-program "main")))