From 1ce9f4ec4eacf770e5b930ea7fca254e29d80553 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 12 Jun 2007 12:27:12 +0000 Subject: [PATCH] Tweaked die properties. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@385 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism-examples/dice/auto | 2 +- prism-examples/dice/dice.pctl | 5 ++++- 2 files changed, 5 insertions(+), 2 deletions(-) diff --git a/prism-examples/dice/auto b/prism-examples/dice/auto index f52ebba6..f2aa8468 100755 --- 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 diff --git a/prism-examples/dice/dice.pctl b/prism-examples/dice/dice.pctl index 8c5d7319..91cc022b 100644 --- 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 ]