some more simulation tests
This commit is contained in:
parent
0cc550ea43
commit
47dc84f034
|
@ -745,6 +745,19 @@
|
||||||
"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
|
||||||
|
"identity simulation"
|
||||||
|
(check-true (simulates? manager manager))
|
||||||
|
(check-true (simulates? client client))
|
||||||
|
(check-true (simulates? seller seller)))
|
||||||
|
(test-case
|
||||||
|
"simulation isn't vacuous"
|
||||||
|
(check-false (simulates? manager client))
|
||||||
|
(check-false (simulates? client manager))
|
||||||
|
(check-false (simulates? manager seller))
|
||||||
|
(check-false (simulates? seller manager))
|
||||||
|
(check-false (simulates? client seller))
|
||||||
|
(check-false (simulates? seller client)))
|
||||||
(test-case
|
(test-case
|
||||||
"leader-spec identity simulation"
|
"leader-spec identity simulation"
|
||||||
(check-true (simulates? leader-spec leader-spec))))
|
(check-true (simulates? leader-spec leader-spec))))
|
||||||
|
|
Loading…
Reference in New Issue