1 files changed, 0 insertions, 34 deletions
diff --git a/tests/examplefiles/yahalom.cpsa b/tests/examplefiles/yahalom.cpsa
deleted file mode 100644
index 3bc918d4..00000000
--- a/tests/examplefiles/yahalom.cpsa
+++ /dev/null
@@ -1,34 +0,0 @@
-(herald "Yahalom Protocol with Forwarding Removed")
-
-(defprotocol yahalom basic
-  (defrole init
-    (vars (a b c name) (n-a n-b text) (k skey))
-    (trace (send (cat a n-a))
-	   (recv (enc b k n-a n-b (ltk a c)))
-	   (send (enc n-b k))))
-  (defrole resp
-    (vars (b a c name) (n-a n-b text) (k skey))
-    (trace (recv (cat a n-a))
-	   (send (cat b (enc a n-a n-b (ltk b c))))
-	   (recv (enc a k (ltk b c)))
-	   (recv (enc n-b k))))
-  (defrole serv
-    (vars (c a b name) (n-a n-b text) (k skey))
-    (trace (recv (cat b (enc a n-a n-b (ltk b c))))
-	   (send (enc b k n-a n-b (ltk a c)))
-	   (send (enc a k (ltk b c))))
-    (uniq-orig k)))
-
-(defskeleton yahalom
-  (vars (a b c name) (n-b text))
-  (defstrand resp 4 (a a) (b b) (c c) (n-b n-b))
-  (non-orig (ltk b c) (ltk a c))
-  (uniq-orig n-b))
-
-;;; Ensure encryption key remains secret.
-(defskeleton yahalom
-  (vars (a b c name) (n-b text) (k skey))
-  (defstrand resp 4 (a a) (b b) (c c) (n-b n-b) (k k))
-  (deflistener k)
-  (non-orig (ltk b c) (ltk a c))
-  (uniq-orig n-b))