From 7b1d8c5e749df156420d03dbc2eef98cec75196d Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 9 Dec 2008 12:50:37 +0000 Subject: [PATCH] Tweaked some auto files. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@885 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism-examples/csma/auto | 2 +- prism-examples/wlan/auto | 6 +++--- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/prism-examples/csma/auto b/prism-examples/csma/auto index f7a14d86..67de7784 100755 --- a/prism-examples/csma/auto +++ b/prism-examples/csma/auto @@ -5,7 +5,7 @@ prism csma2_3.nm csma2.pctl -s prism csma2_4.nm csma2.pctl -s prism csma4_2.nm csma4.pctl -s prism csma4_3.nm csma4.pctl -s -prism csma4_4.nm csma4.pctl -s +#prism csma4_4.nm csma4.pctl -s prism csma6_2.nm csma6.pctl -s prism csma6_3.nm csma6.pctl -s #prism csma6_4.nm csma6.pctl -s diff --git a/prism-examples/wlan/auto b/prism-examples/wlan/auto index 7f2e5120..d2058e1c 100755 --- a/prism-examples/wlan/auto +++ b/prism-examples/wlan/auto @@ -3,7 +3,7 @@ prism wlan0.nm wlan.pctl -const TRANS_TIME_MAX=10,k=2 -m prism wlan1.nm wlan.pctl -const TRANS_TIME_MAX=10,k=2 -m prism wlan2.nm wlan.pctl -const TRANS_TIME_MAX=10,k=2 -m -prism wlan3.nm wlan.pctl -const TRANS_TIME_MAX=10,k=2 -m +#prism wlan3.nm wlan.pctl -const TRANS_TIME_MAX=10,k=2 -m #prism wlan4.nm wlan.pctl -const TRANS_TIME_MAX=10,k=2 -m #prism wlan5.nm wlan.pctl -const TRANS_TIME_MAX=10,k=2 -m #prism wlan6.nm wlan.pctl -const TRANS_TIME_MAX=10,k=2 -m @@ -13,7 +13,7 @@ prism wlan3.nm wlan.pctl -const TRANS_TIME_MAX=10,k=2 -m prism wlan0_collide.nm wlan_collide.pctl -const COL=2,TRANS_TIME_MAX=10,k=2 prism wlan1_collide.nm wlan_collide.pctl -const COL=2,TRANS_TIME_MAX=10,k=2 prism wlan2_collide.nm wlan_collide.pctl -const COL=2,TRANS_TIME_MAX=10,k=2 -prism wlan3_collide.nm wlan_collide.pctl -const COL=2,TRANS_TIME_MAX=10,k=2 +#prism wlan3_collide.nm wlan_collide.pctl -const COL=2,TRANS_TIME_MAX=10,k=2 #prism wlan4_collide.nm wlan_collide.pctl -const COL=2,TRANS_TIME_MAX=10,k=2 #prism wlan5_collide.nm wlan_collide.pctl -const COL=2,TRANS_TIME_MAX=10,k=2 #prism wlan6_collide.nm wlan_collide.pctl -const COL=2,TRANS_TIME_MAX=10,k=2 @@ -22,7 +22,7 @@ prism wlan3_collide.nm wlan_collide.pctl -const COL=2,TRANS_TIME_MAX=10,k=2 prism wlan0_time_bounded.nm wlan_time_bounded.pctl -const TRANS_TIME_MAX=10,DEADLINE=100 -nopre -m -prop 3 prism wlan1_time_bounded.nm wlan_time_bounded.pctl -const TRANS_TIME_MAX=10,DEADLINE=100 -nopre -m -prop 3 prism wlan2_time_bounded.nm wlan_time_bounded.pctl -const TRANS_TIME_MAX=10,DEADLINE=100 -nopre -m -prop 3 -prism wlan3_time_bounded.nm wlan_time_bounded.pctl -const TRANS_TIME_MAX=10,DEADLINE=100 -nopre -m -prop 3 +#prism wlan3_time_bounded.nm wlan_time_bounded.pctl -const TRANS_TIME_MAX=10,DEADLINE=100 -nopre -m -prop 3 #prism wlan4_time_bounded.nm wlan_time_bounded.pctl -const TRANS_TIME_MAX=10,DEADLINE=100 -nopre -m -prop 3 #prism wlan5_time_bounded.nm wlan_time_bounded.pctl -const TRANS_TIME_MAX=10,DEADLINE=100 -nopre -m -prop 3 #prism wlan6_time_bounded.nm wlan_time_bounded.pctl -const TRANS_TIME_MAX=10,DEADLINE=100 -nopre -m -prop 3