From 47dc84f034ed5db9db95cfba8210c6a8a4e18edc Mon Sep 17 00:00:00 2001 From: Sam Caldwell Date: Tue, 26 Mar 2019 10:05:09 -0400 Subject: [PATCH] some more simulation tests --- racket/typed/proto.rkt | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/racket/typed/proto.rkt b/racket/typed/proto.rkt index 6a1fed6..c0c604f 100644 --- a/racket/typed/proto.rkt +++ b/racket/typed/proto.rkt @@ -745,6 +745,19 @@ "simplest simul" (define r (Role 'x (list))) (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 "leader-spec identity simulation" (check-true (simulates? leader-spec leader-spec))))