From b15d6cc80adaa2e9bfe113b3d91cbbb1f9a161ba Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Mon, 31 Mar 2008 19:40:53 +0000 Subject: [PATCH] Cluster auto file. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@713 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism-examples/cluster/auto | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism-examples/cluster/auto b/prism-examples/cluster/auto index bb6ea925..3acf146c 100755 --- a/prism-examples/cluster/auto +++ b/prism-examples/cluster/auto @@ -1,5 +1,5 @@ #!/bin/csh foreach N (4 8 16 32) #64 128 256 512) - prism cluster.sm cluster.csl -const N=$N,T=10 -prop 1 -jor + prism cluster.sm cluster.csl -const N=$N,T=10 -jor end