From 30bbc2426f1a3115b2c42d7acc4f310d6ebffda5 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 5 Dec 2008 15:18:22 +0000 Subject: [PATCH] CSMA auto file bug fix. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@863 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism-examples/wlan/auto | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/prism-examples/wlan/auto b/prism-examples/wlan/auto index 745f5a54..7f2e5120 100755 --- a/prism-examples/wlan/auto +++ b/prism-examples/wlan/auto @@ -1,12 +1,12 @@ #!/bin/csh -prism wlan0.nm wlan.pctl -const TRANS_TIME_MAX=10,k=2 -prism wlan1.nm wlan.pctl -const TRANS_TIME_MAX=10,k=2 -prism wlan2.nm wlan.pctl -const TRANS_TIME_MAX=10,k=2 -prism wlan3.nm wlan.pctl -const TRANS_TIME_MAX=10,k=2 -#prism wlan4.nm wlan.pctl -const TRANS_TIME_MAX=10,k=2 -#prism wlan5.nm wlan.pctl -const TRANS_TIME_MAX=10,k=2 -#prism wlan6.nm wlan.pctl -const TRANS_TIME_MAX=10,k=2 +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 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 # probability collide