From 0e67b7d1e91aa32f158f6aab849b565088da6b3e Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Mon, 17 Mar 2008 13:04:37 +0000 Subject: [PATCH] Removed filter from non-? property. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@674 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism-examples/firewire/impl/liveness.pctl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism-examples/firewire/impl/liveness.pctl b/prism-examples/firewire/impl/liveness.pctl index fe1a9f19..a901c83f 100644 --- a/prism-examples/firewire/impl/liveness.pctl +++ b/prism-examples/firewire/impl/liveness.pctl @@ -1,2 +1,2 @@ // liveness -P>=1 [ true U ((s1=8) & (s2=7)) | ((s1=7) & (s2=8)) {"init"} ] +"init" => P>=1 [ true U ((s1=8) & (s2=7)) | ((s1=7) & (s2=8)) ]