syndicate-lang
/
syndicate-2017
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

leader-spec simulates itself!

This commit is contained in:
Sam Caldwell 2019-03-25 21:05:55 -04:00
parent 324557e8b5
commit 0cc550ea43
1 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
racket/typed/proto.rkt
View File

@ -719,8 +719,7 @@
(unless dests1
(return #f))
(define combos (make-combinations dests1 dests2))
(for/or ([matching (in-set combos)])
(verify (one-of matching) (set-add assumptions goal)))))
(verify (one-of combos) (set-add assumptions goal))))
(unless same-on-specified-events?
(return #f))
(define extra-evts
@ -745,7 +744,10 @@
(test-case
"simplest simul"
(define r (Role 'x (list)))
(check-true (simulates? r r))))
(check-true (simulates? r r)))
(test-case
"leader-spec identity simulation"
(check-true (simulates? leader-spec leader-spec))))
;; ---------------------------------------------------------------------------
;; Visualization