From c1be3690962a200c6e1a5cfbe32b0e88bb19b10e Mon Sep 17 00:00:00 2001 From: Gethin Norman Date: Wed, 31 Oct 2007 10:55:01 +0000 Subject: [PATCH] molecules examples: fixed auto file git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@495 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism-examples/molecules/auto | 30 +++++++++++++++--------------- 1 file changed, 15 insertions(+), 15 deletions(-) diff --git a/prism-examples/molecules/auto b/prism-examples/molecules/auto index 427dabca..6fa9ba8f 100755 --- a/prism-examples/molecules/auto +++ b/prism-examples/molecules/auto @@ -4,20 +4,20 @@ prism nacl.sm nacl.csl -prop 1 -const T=0:0.001:0.006,i=4 prism nacl.sm nacl.csl -prop 2 -const T=0:0.001:0.006,i=0 prism nacl.sm nacl.csl -prop 3 -const T=0,i=0 -gs -prism knacl.sm knacl.csl -prop 1 -const T=0:0.001:0.006,i=4,na_reward=0,k_reward=0 -prism knacl.sm knacl.csl -prop 2 -const T=0:0.001:0.006,i=4,na_reward=0,k_reward=0 -prism knacl.sm knacl.csl -prop 3 -const T=0:0.001:0.006,i=0,na_reward=1,k_reward=0 -prism knacl.sm knacl.csl -prop 3 -const T=0:0.001:0.006,i=0,na_reward=0,k_reward=1 -prism knacl.sm knacl.csl -prop 4 -const T=0,i=0,na_reward=1,k_reward=0 -gs -prism knacl.sm knacl.csl -prop 4 -const T=0,i=0,na_reward=0,k_reward=1 -gs +prism knacl.sm knacl.csl -prop 1 -const T=0:0.001:0.006,i=4, +prism knacl.sm knacl.csl -prop 2 -const T=0:0.001:0.006,i=4, +prism knacl.sm knacl.csl -prop 3 -const T=0:0.001:0.006,i=0, +prism knacl.sm knacl.csl -prop 4 -const T=0:0.001:0.006,i=0, +prism knacl.sm knacl.csl -prop 5 -const T=0,i=0 -gs +prism knacl.sm knacl.csl -prop 6 -const T=0,i=0 -gs -prism mc.sm mc.csl -prop 1 -const T=0:0.001:0.006,i=4,mg_reward=0,mgplus_reward=0,mgplus2_reward=0 -prism mc.sm mc.csl -prop 2 -const T=0:0.001:0.006,i=4,mg_reward=0,mgplus_reward=0,mgplus2_reward=0 -prism mc.sm mc.csl -prop 3 -const T=0:0.001:0.006,i=4,mg_reward=0,mgplus_reward=0,mgplus2_reward=0 -prism mc.sm mc.csl -prop 4 -const T=0:0.001:0.006,i=0,mg_reward=1,mgplus_reward=0,mgplus2_reward=0 -prism mc.sm mc.csl -prop 4 -const T=0:0.001:0.006,i=0,mg_reward=0,mgplus_reward=1,mgplus2_reward=0 -prism mc.sm mc.csl -prop 4 -const T=0:0.001:0.006,i=0,mg_reward=0,mgplus_reward=0,mgplus2_reward=1 -prism mc.sm mc.csl -prop 5 -const T=0,i=0,mg_reward=1,mgplus_reward=0,mgplus2_reward=0 -gs -prism mc.sm mc.csl -prop 5 -const T=0,i=0,mg_reward=0,mgplus_reward=1,mgplus2_reward=0 -gs -prism mc.sm mc.csl -prop 5 -const T=0,i=0,mg_reward=0,mgplus_reward=0,mgplus2_reward=1 -gs +prism mc.sm mc.csl -prop 1 -const T=0:0.001:0.006,i=4 +prism mc.sm mc.csl -prop 2 -const T=0:0.001:0.006,i=4 +prism mc.sm mc.csl -prop 3 -const T=0:0.001:0.006,i=4 +prism mc.sm mc.csl -prop 4 -const T=0:0.001:0.006,i=0 +prism mc.sm mc.csl -prop 5 -const T=0:0.001:0.006,i=0 +prism mc.sm mc.csl -prop 6 -const T=0:0.001:0.006,i=0 +prism mc.sm mc.csl -prop 7 -const T=0,i=0 -gs +prism mc.sm mc.csl -prop 8 -const T=0,i=0 -gs +prism mc.sm mc.csl -prop 9 -const T=0,i=0 -gs