leader-spec simulates itself!
This commit is contained in:
parent
ff81748848
commit
7dfc4a93da
|
@ -719,8 +719,7 @@
|
||||||
(unless dests1
|
(unless dests1
|
||||||
(return #f))
|
(return #f))
|
||||||
(define combos (make-combinations dests1 dests2))
|
(define combos (make-combinations dests1 dests2))
|
||||||
(for/or ([matching (in-set combos)])
|
(verify (one-of combos) (set-add assumptions goal))))
|
||||||
(verify (one-of matching) (set-add assumptions goal)))))
|
|
||||||
(unless same-on-specified-events?
|
(unless same-on-specified-events?
|
||||||
(return #f))
|
(return #f))
|
||||||
(define extra-evts
|
(define extra-evts
|
||||||
|
@ -745,7 +744,10 @@
|
||||||
(test-case
|
(test-case
|
||||||
"simplest simul"
|
"simplest simul"
|
||||||
(define r (Role 'x (list)))
|
(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
|
;; Visualization
|
||||||
|
|
Loading…
Reference in New Issue