From 9c0adc1e46fadb775f93a5fa40f0a538a20e5c1f Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Mon, 8 Dec 2008 08:48:03 +0000 Subject: [PATCH] Less ambitious auto file for csma. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@873 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism-examples/csma/auto | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism-examples/csma/auto b/prism-examples/csma/auto index f5155c2e..f7a14d86 100755 --- a/prism-examples/csma/auto +++ b/prism-examples/csma/auto @@ -8,5 +8,5 @@ prism csma4_3.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 +#prism csma6_4.nm csma6.pctl -s