Mercurial > repos > sybila > ebcsgen_pctl_model_checking

diff test-data/pctl_model_checking.bcsl.ts @ 0:ea5108514910 draft

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit d80d8e9710cba50aab3e6a1e10a527d26fc7e72b
author sybila
date Fri, 09 Sep 2022 17:04:25 +0000
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/test-data/pctl_model_checking.bcsl.ts	Fri Sep 09 17:04:25 2022 +0000
@@ -0,0 +1,75 @@
+{
+    "nodes": {
+        "1": "(inf, inf, inf)",
+        "2": "(1, 2, 0)",
+        "3": "(0, 1, 0)",
+        "4": "(0, 2, 0)",
+        "5": "(2, 1, 0)",
+        "6": "(2, 2, 0)",
+        "7": "(1, 1, 0)"
+    },
+    "edges": [
+        {
+            "s": 7,
+            "t": 3,
+            "p": 0.8
+        },
+        {
+            "s": 3,
+            "t": 4,
+            "p": 1.0
+        },
+        {
+            "s": 5,
+            "t": 7,
+            "p": 0.9855072463768116
+        },
+        {
+            "s": 1,
+            "t": 1,
+            "p": 1
+        },
+        {
+            "s": 2,
+            "t": 1,
+            "p": 0.2
+        },
+        {
+            "s": 5,
+            "t": 6,
+            "p": 0.014492753623188406
+        },
+        {
+            "s": 6,
+            "t": 1,
+            "p": 0.014492753623188406
+        },
+        {
+            "s": 6,
+            "t": 2,
+            "p": 0.9855072463768116
+        },
+        {
+            "s": 4,
+            "t": 1,
+            "p": 1.0
+        },
+        {
+            "s": 2,
+            "t": 4,
+            "p": 0.8
+        },
+        {
+            "s": 7,
+            "t": 2,
+            "p": 0.2
+        }
+    ],
+    "ordering": [
+        "X()::rep",
+        "Y()::rep",
+        "Z()::rep"
+    ],
+    "initial": 5,
+    "bound": 2
+}
\ No newline at end of file