From fe88c1cbb6bd786c05e36d7029adb06054813f72 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Wed, 8 Feb 2012 16:27:05 -0500 Subject: [PATCH] Update testing code --- os-big-bang-testing.rkt | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/os-big-bang-testing.rkt b/os-big-bang-testing.rkt index d6cd732..091d447 100644 --- a/os-big-bang-testing.rkt +++ b/os-big-bang-testing.rkt @@ -6,11 +6,16 @@ (provide check-message-handler) +(define (flatten-transition t) + (if (transition? t) + (transition (transition-state t) (transition-actions t)) ;; autoflattens + (transition t '()))) ;; wrap for convenient comparison + (define (check-message-handler mh initial-w message final-w expected-actions) (match-define (on-message pattern handler) mh) (check-true (pattern message) "Message-handler pattern did not match message provided") (define v (match (handler message initial-w) [(? transition? t) t] [new-w (transition new-w '())])) - (check-equal? v (transition final-w expected-actions) + (check-equal? (flatten-transition v) (transition final-w expected-actions) "Produced world-and-actions did not match expected world-and-actions"))