Fixed FireWire impl auto file.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1400 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism-examples/firewire/impl/auto

@@ -4,15 +4,16 @@
 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
+prism firewire.nm expected.pctl -const delay=3,fast=0.2:0.1:0.8 -prop 1 -s
+#prism firewire.nm expected.pctl -const delay=36,fast=0.2:0.1:0.8 -prop 1 =m
 
 # maximum expected time sending
-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
+prism firewire.nm expected.pctl -const delay=3,fast=0.2:0.1:0.8 -prop 2 -s
+#prism firewire.nm expected.pctl -const delay=36,fast=0.2:0.1:0.8 -prop 2 -m
 
 # deadline properties
-foreach deadline (200) # 300 400 500 600 800 1000)
-	prism deadline.nm deadline.pctl -const deadline=$deadline,delay=36,fast=0.5 -m
+foreach deadline (200 300 400) # 500 600 800 1000)
+	prism deadline.nm deadline.pctl -const deadline=$deadline,delay=3,fast=0.5 -s
+#	prism deadline.nm deadline.pctl -const deadline=$deadline,delay=36,fast=0.5 -m
 end