Tweaked die properties.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@385 bbc10eb1-c90d-0410-af57-cb519fbb1720
19 years ago · 1ce9f4ec4e
2 changed files with 5 additions and 2 deletions
--- a/prism-examples/dice/auto
+++ b/prism-examples/dice/auto
@ -1,6 +1,6 @@
 #!/bin/csh

-prism dice.pm dice.pctl
+prism dice.pm dice.pctl -const x=3 

 prism two_dice.nm two_dice.pctl -prop 1 -const x=2:12
 prism two_dice.nm two_dice.pctl -prop 2 -const x=2:12
--- a/prism-examples/dice/dice.pctl
+++ b/prism-examples/dice/dice.pctl
@ -1,8 +1,11 @@
-const int x = 6;
+const int x;

 // Is probability of throwing x > 0.1?
 "init" => P>0.1 [ true U s=7 & d=x ]

+// Probability of throwing 6?
+P=? [ true U s=7 & d=6 ]
+
 // Probability of throwing x?
 P=? [ true U s=7 & d=x ]