diff --git a/prism-examples/dice/dice.pm b/prism-examples/dice/dice.pm index 2e2f3c10..c0d80eae 100644 --- a/prism-examples/dice/dice.pm +++ b/prism-examples/dice/dice.pm @@ -4,7 +4,7 @@ module die // local state s : [0..7] init 0; - // value of the dice + // value of the die d : [0..6] init 0; [] s=0 -> 0.5 : (s'=1) + 0.5 : (s'=2); diff --git a/prism-examples/dice/two_dice.nm b/prism-examples/dice/two_dice.nm index 2eef9c47..4fd21d06 100644 --- a/prism-examples/dice/two_dice.nm +++ b/prism-examples/dice/two_dice.nm @@ -4,7 +4,7 @@ module die1 // local state s1 : [0..7] init 0; - // value of the dice + // value of the die d1 : [0..6] init 0; [] s1=0 -> 0.5 : (s1'=1) + 0.5 : (s1'=2);