diff --git a/prism-examples/csma/auto b/prism-examples/csma/auto index 119969ac..780cce20 100755 --- a/prism-examples/csma/auto +++ b/prism-examples/csma/auto @@ -5,7 +5,7 @@ prism csma2_4.nm csma.pctl -const k=1 -s prism csma2_6.nm csma.pctl -const k=1 -s prism csma3_2.nm csma.pctl -const k=1 -s prism csma3_4.nm csma.pctl -const k=1 -s -prism csma3_6.nm csma.pctl -const k=1 -s +#prism csma3_6.nm csma.pctl -const k=1 -s prism csma4_2.nm csma.pctl -const k=1 -s #prism csma4_4.nm csma.pctl -const k=1 -s #prism csma4_6.nm csma.pctl -const k=1 -s