From bdc9c3bbcf81aa9414eb4fc51cb5bd68e3834633 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 5 Dec 2008 15:28:00 +0000 Subject: [PATCH] auto bug fix. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@866 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism-examples/csma/auto | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) diff --git a/prism-examples/csma/auto b/prism-examples/csma/auto index da79e55c..f5155c2e 100755 --- a/prism-examples/csma/auto +++ b/prism-examples/csma/auto @@ -1,12 +1,12 @@ #!/bin/csh -prism csma2_2.nm csma2.pctl -prism csma2_3.nm csma2.pctl -prism csma2_4.nm csma2.pctl -prism csma4_2.nm csma4.pctl -prism csma4_3.nm csma4.pctl -prism csma4_4.nm csma4.pctl -prism csma6_2.nm csma6.pctl -prism csma6_3.nm csma6.pctl -prism csma6_4.nm csma6.pctl +prism csma2_2.nm csma2.pctl -s +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 csma6_2.nm csma6.pctl -s +prism csma6_3.nm csma6.pctl -s +prism csma6_4.nm csma6.pctl -s