From e2e0ee6903cd527c00a80817823ab01da86743cd Mon Sep 17 00:00:00 2001 From: Sergiu Ivanov Date: Fri, 24 Mar 2023 16:05:52 +0100 Subject: [PATCH] Only set random-seed once in the whole test submodule. --- networks.rkt | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/networks.rkt b/networks.rkt index 9cbd464..c7910dd 100644 --- a/networks.rkt +++ b/networks.rkt @@ -1059,9 +1059,10 @@ ([st (build-all-states arg-domains)]) (list st (random-ref func-domain))))) + (module+ test (random-seed 1)) + (module+ test (test-case "random-function/state" - (random-seed 1) (define doms (hash 'a '(1 2) 'b '(3 4))) (define f (random-function/state doms '(e f))) (check-equal? (tabulate-state+headers f doms) @@ -1073,10 +1074,9 @@ (module+ test (test-case "random-boolean-function/state" - (random-seed 1) (define f (random-boolean-function/state '(x1 x2))) (check-equal? (tabulate-state+headers/boolean f '(x1 x2)) - '((x1 x2 f1) (#f #f #f) (#f #t #f) (#t #f #t) (#t #t #f))))) + '((x1 x2 f1) (#f #f #f) (#f #t #f) (#t #f #t) (#t #t #t))))) ) (require 'typed)