updated auto file

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@848 bbc10eb1-c90d-0410-af57-cb519fbb1720
17 years ago · d67d499f24
1 changed files with 2 additions and 0 deletions
--- a/prism-examples/firewire/abst/auto
+++ b/prism-examples/firewire/abst/auto
@ -4,9 +4,11 @@
 prism firewire.nm liveness.pctl -const delay=36,fast=0.5 -m

 # maximum expected time
+prism firewire.nm expected.pctl -const delay=3,fast=0.2:0.1:0.8 -m -prop 1
 prism firewire.nm expected.pctl -const delay=36,fast=0.2:0.1:0.8 -m -prop 1

 # maximum expected time
+prism firewire.nm expected.pctl -const delay=3,fast=0.2:0.1:0.8 -m -prop 2 
 prism firewire.nm expected.pctl -const delay=36,fast=0.2:0.1:0.8 -m -prop 2 

 # deadline properties