From ef76e143f20a267205895183ff59486ecc08b816 Mon Sep 17 00:00:00 2001 From: Sergiu Ivanov Date: Sun, 23 Feb 2020 15:09:02 +0100 Subject: [PATCH] network-tests: Factor out a convenient set of states. --- networks-tests.rkt | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/networks-tests.rkt b/networks-tests.rkt index c5d4ce1..84a7648 100644 --- a/networks-tests.rkt +++ b/networks-tests.rkt @@ -111,14 +111,15 @@ (let* ([n (nn '((a . (not a)) (b . b)))] [asyn (make-asyn-dynamics n)] [syn (make-syn-dynamics n)] - [s (st '((a . #t) (b . #f)))]) + [s (st '((a . #t) (b . #f)))] + [ss (set (st '((a . #t) (b . #t))) + (st '((a . #f) (b . #t))))]) (check-equal? (dds-step-one asyn s) (set (st '((a . #f) (b . #f))) (st '((a . #t) (b . #f))))) (check-equal? (dds-step-one-annotated asyn s) (set (cons (set 'b) '#hash((a . #t) (b . #f))) (cons (set 'a) '#hash((a . #f) (b . #f))))) (check-equal? (dds-step-one syn s) (set (st '((a . #f) (b . #f))))) - (check-equal? (dds-step asyn (set (st '((a . #t) (b . #t))) - (st '((a . #f) (b . #t))))) + (check-equal? (dds-step asyn ss) (set (st '((a . #f) (b . #t))) (st '((a . #t) (b . #t)))))))