Mercurial > repos > sybila > ebcsgen_ctl_model_checking

annotate test-data/simple.bcsl.ts @ 2:67514c641d2f draft default tip

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 4719a69f514aed27d90c7017f052463b0b43cbb0
author sybila
date Sat, 15 Oct 2022 09:22:53 +0000
parents 213df1fd884f
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
1 {
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
2 "nodes": {
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
3 "1": "(0, 0, 0, 0, 0, 1, 0, 0)",
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
4 "2": "(0, 0, 1, 0, 0, 0, 0, 0)",
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
5 "3": "(1, 0, 0, 0, 0, 0, 0, 0)",
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
6 "4": "(0, 0, 0, 1, 0, 0, 0, 0)",
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
7 "5": "(0, 0, 0, 0, 0, 0, 1, 0)",
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
8 "6": "(0, 0, 0, 0, 0, 0, 0, 1)",
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
9 "7": "(0, 0, 0, 0, 1, 0, 0, 0)",
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
10 "8": "(0, 1, 0, 0, 0, 0, 0, 0)"
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
11 },
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
12 "edges": [
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
13 {
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
14 "s": 8,
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
15 "t": 8,
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
16 "p": 1,
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
17 "label": "\u03b5"
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
18 },
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
19 {
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
20 "s": 3,
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
21 "t": 8,
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
22 "p": 1.0,
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
23 "label": "r2"
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
24 },
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
25 {
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
26 "s": 5,
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
27 "t": 6,
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
28 "p": 0.3333333333333333,
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
29 "label": "r2"
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
30 },
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
31 {
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
32 "s": 6,
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
33 "t": 6,
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
34 "p": 1,
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
35 "label": "\u03b5"
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
36 },
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
37 {
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
38 "s": 2,
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
39 "t": 3,
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
40 "p": 0.5,
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
41 "label": "r1_T"
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
42 },
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
43 {
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
44 "s": 7,
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
45 "t": 1,
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
46 "p": 0.5,
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
47 "label": "r2"
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
48 },
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
49 {
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
50 "s": 5,
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
51 "t": 2,
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
52 "p": 0.3333333333333333,
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
53 "label": "r1_S"
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
54 },
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
55 {
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
56 "s": 7,
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
57 "t": 3,
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
58 "p": 0.5,
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
59 "label": "r1_S"
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
60 },
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
61 {
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
62 "s": 4,
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
63 "t": 4,
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
64 "p": 1,
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
65 "label": "\u03b5"
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
66 },
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
67 {
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
68 "s": 1,
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
69 "t": 1,
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
70 "p": 1,
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
71 "label": "\u03b5"
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
72 },
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
73 {
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
74 "s": 5,
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
75 "t": 7,
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
76 "p": 0.3333333333333333,
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
77 "label": "r1_T"
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
78 },
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
79 {
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
80 "s": 2,
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
81 "t": 4,
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
82 "p": 0.5,
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
83 "label": "r2"
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
84 }
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
85 ],
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
86 "ordering": [
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
87 "P(S{a},T{a})::cell",
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
88 "P(S{a},T{a})::out",
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
89 "P(S{a},T{i})::cell",
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
90 "P(S{a},T{i})::out",
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
91 "P(S{i},T{a})::cell",
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
92 "P(S{i},T{a})::out",
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
93 "P(S{i},T{i})::cell",
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
94 "P(S{i},T{i})::out"
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
95 ],
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
96 "initial": 5,
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
97 "bound": 1
213df1fd884f planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
sybila
parents:
diff changeset
98 }