From f056eee6b283e921c261f79436dbbace4fbe3c48 Mon Sep 17 00:00:00 2001 From: dehnert Date: Tue, 13 Nov 2012 19:12:01 +0100 Subject: [PATCH] Added some more examples. Removed result file for example. --- examples/dtmc/synchronous_leader/leader4_8.result | 3 --- 1 file changed, 3 deletions(-) delete mode 100644 examples/dtmc/synchronous_leader/leader4_8.result diff --git a/examples/dtmc/synchronous_leader/leader4_8.result b/examples/dtmc/synchronous_leader/leader4_8.result deleted file mode 100644 index c613446d3..000000000 --- a/examples/dtmc/synchronous_leader/leader4_8.result +++ /dev/null @@ -1,3 +0,0 @@ -P=? [ true U (s1=3&s2=3&s3=3&s4=3) ]: -Result -1.0