Skip to content

Commit 97fbeec

Browse files
reb-ddmreb-ddm
committed
update ref files of integration tests
1 parent 6233acd commit 97fbeec

File tree

14 files changed

+123
-3
lines changed

14 files changed

+123
-3
lines changed

‎tests/integration/boolean_parameters/agents_domain/README‎

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
#Command-line:
2+
"${KAPPABIN}"KaSa example_agents_params.ka --output-directory output --debugging-mode -syntax 4 || exit 0
3+
"${KAPPABIN}"KaSim example_agents_params.ka -l 2000 -d output -p 20 -syntax 4 -seed 858703540 || exit 0

‎tests/integration/boolean_parameters/conflict/output/LOG.ref‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -11,10 +11,10 @@ Reachability analysis...
1111
------------------------------------------------------------
1212
rule File "example_conflict.ka", line 12, characters 0-21: could be applied if P.
1313
rule ~namef (File "example_conflict.ka", line 13, characters 0-31:) could be applied if P.
14+
rule 'conflict_0 (File "example_conflict.ka", line 14, characters 0-50:) could be applied if P.and.@co-A-x-y.and.x.and.y.
1415
rule File "example_conflict.ka", line 14, characters 0-50: could be applied if P.and.(~@co-A-x-y).and.x.and.y.
15-
rule File "example_conflict.ka", line 14, characters 0-50: could be applied if P.and.@co-A-x-y.and.x.and.y.
16+
rule 'conflict_1 (File "example_conflict.ka", line 15, characters 0-50:) could be applied if (B.or.C).and.P.and.@co-A-x-y.
1617
rule File "example_conflict.ka", line 15, characters 0-50: could be applied if (B.or.C).and.P.and.(~@co-A-x-y).
17-
rule File "example_conflict.ka", line 15, characters 0-50: could be applied if (B.or.C).and.P.and.@co-A-x-y.
1818

1919
------------------------------------------------------------
2020
* There are some non creatable agents

‎tests/integration/boolean_parameters/parallel_bond2/README‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
#Command-line:
2+
"${KAPPABIN}"KaSa example_double_bonds2.ka --output-directory output --debugging-mode -syntax 4 || exit 0

‎tests/integration/boolean_parameters/parallel_bond2/output/contact.dot.ref‎

Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,16 @@
1+
#Download sources/binaries at https://github.com/Kappa-Dev/KaSim
2+
#
3+
#Command line is: KaSa example_double_bonds2.ka --output-directory output --debugging-mode -syntax 4
4+
#
5+
#This file contains the description of the contact map in dot.
6+
#Please use graphviz (http://www.graphviz.org) or OmniGraffle to export it to a PDF
7+
#
8+
graph G{
9+
subgraph cluster0 {
10+
0.0 [style = filled label = "y" shape=circle color = yellow size = "5"]
11+
0.1 [style = filled label = "x" shape=circle color = yellow size = "5"]
12+
label = "A"; shape=box; color = blue
13+
} ;
14+
0.0 -- 0.0
15+
0.1 -- 0.1
16+
}

‎tests/integration/boolean_parameters/parallel_bond2/output/error.log.ref‎

Whitespace-only changes.

‎tests/integration/boolean_parameters/parallel_bond2/output/influence.dot.ref‎

Lines changed: 91 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,91 @@
1+
#This file has been computed by KaSa: a Static Analyzer for Kappa (Kappa Static Analyzer (v4.1.3.1-187-g0b1b6abee-dirty))
2+
#Download sources/binaries at https://github.com/Kappa-Dev/KaSim
3+
#
4+
#Analysis launched at 2025/06/27 09:46:09 (GMT+2) on Margherita
5+
#Command line is: KaSa example_double_bonds2.ka --output-directory output --debugging-mode -syntax 4
6+
#
7+
#This file contains the description of the influence map in dot.
8+
#Please use graphviz (http://www.graphviz.org) or OmniGraffle to export it to a PDF
9+
#
10+
digraph G{
11+
"0:A(x[.],y[.]),A(x[.],y[.])->A(x[.],y[1]),A(x[.],y[1])" [shape=box fillcolor="#87ceeb" style=filled];
12+
"1:A(x[.],y[.]),A(x[.],y[.])->A(x[1],y[.]),A(x[1],y[.])" [shape=box fillcolor="#87ceeb" style=filled];
13+
"2:A(x[1],y[.]),A(x[1],y[.])->A(x[2],y[1]),A(x[2],y[1])" [shape=box fillcolor="#87ceeb" style=filled];
14+
"3:A(x[.],y[1]),A(x[.],y[1])->A(x[1],y[2]),A(x[1],y[2])" [shape=box fillcolor="#87ceeb" style=filled];
15+
"4:A(x[1],y[.]),A(x[1]),A(y[.])->A(x[2],y[1]),A(x[2]),A(y[1])" [shape=box fillcolor="#87ceeb" style=filled];
16+
"5:A(x[.],y[1]),A(x[.]),A(y[1])->A(x[1],y[2]),A(x[1]),A(y[2])" [shape=box fillcolor="#87ceeb" style=filled];
17+
"6:A(x[1],y[.]),A(x[1],y[.])->A(x[2],y[1]),A(x[2],y[1])" [shape=box fillcolor="#87ceeb" style=filled];
18+
"7:A(x[.],y[1]),A(x[.],y[1])->A(x[1],y[2]),A(x[1],y[2])" [shape=box fillcolor="#87ceeb" style=filled];
19+
"8:A(x[1],y[.]),A(x[1]),A(y[.])->A(x[2],y[1]),A(x[2]),A(y[1])" [shape=box fillcolor="#87ceeb" style=filled];
20+
"9:A(x[.],y[1]),A(x[.]),A(y[1])->A(x[1],y[2]),A(x[1]),A(y[2])" [shape=box fillcolor="#87ceeb" style=filled];
21+
22+
"Trimer" [shape=ellipse fillcolor="#98fb98" style=filled];
23+
"0:A(x[.],y[.]),A(x[.],y[.])->A(x[.],y[1]),A(x[.],y[1])" -> "3:A(x[.],y[1]),A(x[.],y[1])->A(x[1],y[2]),A(x[1],y[2])" [label="[0->0];[0->1];[1->0];[1->1]" color="green"];
24+
"0:A(x[.],y[.]),A(x[.],y[.])->A(x[.],y[1]),A(x[.],y[1])" -> "5:A(x[.],y[1]),A(x[.]),A(y[1])->A(x[1],y[2]),A(x[1]),A(y[2])" [label="[0->0];[0->2];[1->0];[1->2]" color="green"];
25+
"0:A(x[.],y[.]),A(x[.],y[.])->A(x[.],y[1]),A(x[.],y[1])" -> "7:A(x[.],y[1]),A(x[.],y[1])->A(x[1],y[2]),A(x[1],y[2])" [label="[0->0];[0->1];[1->0];[1->1]" color="green"];
26+
"0:A(x[.],y[.]),A(x[.],y[.])->A(x[.],y[1]),A(x[.],y[1])" -> "9:A(x[.],y[1]),A(x[.]),A(y[1])->A(x[1],y[2]),A(x[1]),A(y[2])" [label="[0->0];[0->2];[1->0];[1->2]" color="green"];
27+
"1:A(x[.],y[.]),A(x[.],y[.])->A(x[1],y[.]),A(x[1],y[.])" -> "2:A(x[1],y[.]),A(x[1],y[.])->A(x[2],y[1]),A(x[2],y[1])" [label="[0->0];[0->1];[1->0];[1->1]" color="green"];
28+
"1:A(x[.],y[.]),A(x[.],y[.])->A(x[1],y[.]),A(x[1],y[.])" -> "4:A(x[1],y[.]),A(x[1]),A(y[.])->A(x[2],y[1]),A(x[2]),A(y[1])" [label="[0->0];[0->1];[1->0];[1->1]" color="green"];
29+
"1:A(x[.],y[.]),A(x[.],y[.])->A(x[1],y[.]),A(x[1],y[.])" -> "6:A(x[1],y[.]),A(x[1],y[.])->A(x[2],y[1]),A(x[2],y[1])" [label="[0->0];[0->1];[1->0];[1->1]" color="green"];
30+
"1:A(x[.],y[.]),A(x[.],y[.])->A(x[1],y[.]),A(x[1],y[.])" -> "8:A(x[1],y[.]),A(x[1]),A(y[.])->A(x[2],y[1]),A(x[2]),A(y[1])" [label="[0->0];[0->1];[1->0];[1->1]" color="green"];
31+
"2:A(x[1],y[.]),A(x[1],y[.])->A(x[2],y[1]),A(x[2],y[1])" -> "Trimer" [label="[0->0];[0->1];[1->0];[1->1]" color="green"];
32+
"3:A(x[.],y[1]),A(x[.],y[1])->A(x[1],y[2]),A(x[1],y[2])" -> "Trimer" [label="[0->0];[0->1];[1->0];[1->1]" color="green"];
33+
"4:A(x[1],y[.]),A(x[1]),A(y[.])->A(x[2],y[1]),A(x[2]),A(y[1])" -> "5:A(x[.],y[1]),A(x[.]),A(y[1])->A(x[1],y[2]),A(x[1]),A(y[2])" [label="[0->2];[2->0]" color="green"];
34+
"4:A(x[1],y[.]),A(x[1]),A(y[.])->A(x[2],y[1]),A(x[2]),A(y[1])" -> "9:A(x[.],y[1]),A(x[.]),A(y[1])->A(x[1],y[2]),A(x[1]),A(y[2])" [label="[0->2];[2->0]" color="green"];
35+
"5:A(x[.],y[1]),A(x[.]),A(y[1])->A(x[1],y[2]),A(x[1]),A(y[2])" -> "4:A(x[1],y[.]),A(x[1]),A(y[.])->A(x[2],y[1]),A(x[2]),A(y[1])" [label="[0->1];[1->0]" color="green"];
36+
"5:A(x[.],y[1]),A(x[.]),A(y[1])->A(x[1],y[2]),A(x[1]),A(y[2])" -> "8:A(x[1],y[.]),A(x[1]),A(y[.])->A(x[2],y[1]),A(x[2]),A(y[1])" [label="[0->1];[1->0]" color="green"];
37+
"6:A(x[1],y[.]),A(x[1],y[.])->A(x[2],y[1]),A(x[2],y[1])" -> "Trimer" [label="[0->0];[0->1];[1->0];[1->1]" color="green"];
38+
"7:A(x[.],y[1]),A(x[.],y[1])->A(x[1],y[2]),A(x[1],y[2])" -> "Trimer" [label="[0->0];[0->1];[1->0];[1->1]" color="green"];
39+
"8:A(x[1],y[.]),A(x[1]),A(y[.])->A(x[2],y[1]),A(x[2]),A(y[1])" -> "5:A(x[.],y[1]),A(x[.]),A(y[1])->A(x[1],y[2]),A(x[1]),A(y[2])" [label="[0->2];[2->0]" color="green"];
40+
"8:A(x[1],y[.]),A(x[1]),A(y[.])->A(x[2],y[1]),A(x[2]),A(y[1])" -> "9:A(x[.],y[1]),A(x[.]),A(y[1])->A(x[1],y[2]),A(x[1]),A(y[2])" [label="[0->2];[2->0]" color="green"];
41+
"9:A(x[.],y[1]),A(x[.]),A(y[1])->A(x[1],y[2]),A(x[1]),A(y[2])" -> "4:A(x[1],y[.]),A(x[1]),A(y[.])->A(x[2],y[1]),A(x[2]),A(y[1])" [label="[0->1];[1->0]" color="green"];
42+
"9:A(x[.],y[1]),A(x[.]),A(y[1])->A(x[1],y[2]),A(x[1]),A(y[2])" -> "8:A(x[1],y[.]),A(x[1]),A(y[.])->A(x[2],y[1]),A(x[2]),A(y[1])" [label="[0->1];[1->0]" color="green"];
43+
"0:A(x[.],y[.]),A(x[.],y[.])->A(x[.],y[1]),A(x[.],y[1])" -> "0:A(x[.],y[.]),A(x[.],y[.])->A(x[.],y[1]),A(x[.],y[1])" [label="[0->1];[1->0]" color="red" arrowhead="tee"];
44+
"0:A(x[.],y[.]),A(x[.],y[.])->A(x[.],y[1]),A(x[.],y[1])" -> "1:A(x[.],y[.]),A(x[.],y[.])->A(x[1],y[.]),A(x[1],y[.])" [label="[0->0];[0->1];[1->0];[1->1]" color="red" arrowhead="tee"];
45+
"0:A(x[.],y[.]),A(x[.],y[.])->A(x[.],y[1]),A(x[.],y[1])" -> "4:A(x[1],y[.]),A(x[1]),A(y[.])->A(x[2],y[1]),A(x[2]),A(y[1])" [label="[0->2];[1->2]" color="red" arrowhead="tee"];
46+
"0:A(x[.],y[.]),A(x[.],y[.])->A(x[.],y[1]),A(x[.],y[1])" -> "8:A(x[1],y[.]),A(x[1]),A(y[.])->A(x[2],y[1]),A(x[2]),A(y[1])" [label="[0->2];[1->2]" color="red" arrowhead="tee"];
47+
"1:A(x[.],y[.]),A(x[.],y[.])->A(x[1],y[.]),A(x[1],y[.])" -> "0:A(x[.],y[.]),A(x[.],y[.])->A(x[.],y[1]),A(x[.],y[1])" [label="[0->0];[0->1];[1->0];[1->1]" color="red" arrowhead="tee"];
48+
"1:A(x[.],y[.]),A(x[.],y[.])->A(x[1],y[.]),A(x[1],y[.])" -> "1:A(x[.],y[.]),A(x[.],y[.])->A(x[1],y[.]),A(x[1],y[.])" [label="[0->1];[1->0]" color="red" arrowhead="tee"];
49+
"1:A(x[.],y[.]),A(x[.],y[.])->A(x[1],y[.]),A(x[1],y[.])" -> "5:A(x[.],y[1]),A(x[.]),A(y[1])->A(x[1],y[2]),A(x[1]),A(y[2])" [label="[0->1];[1->1]" color="red" arrowhead="tee"];
50+
"1:A(x[.],y[.]),A(x[.],y[.])->A(x[1],y[.]),A(x[1],y[.])" -> "9:A(x[.],y[1]),A(x[.]),A(y[1])->A(x[1],y[2]),A(x[1]),A(y[2])" [label="[0->1];[1->1]" color="red" arrowhead="tee"];
51+
"2:A(x[1],y[.]),A(x[1],y[.])->A(x[2],y[1]),A(x[2],y[1])" -> "2:A(x[1],y[.]),A(x[1],y[.])->A(x[2],y[1]),A(x[2],y[1])" [label="[0->1];[1->0]" color="red" arrowhead="tee"];
52+
"2:A(x[1],y[.]),A(x[1],y[.])->A(x[2],y[1]),A(x[2],y[1])" -> "4:A(x[1],y[.]),A(x[1]),A(y[.])->A(x[2],y[1]),A(x[2]),A(y[1])" [label="[0->0];[0->2];[1->0];[1->2]" color="red" arrowhead="tee"];
53+
"2:A(x[1],y[.]),A(x[1],y[.])->A(x[2],y[1]),A(x[2],y[1])" -> "6:A(x[1],y[.]),A(x[1],y[.])->A(x[2],y[1]),A(x[2],y[1])" [label="[0->0];[0->1];[1->0];[1->1]" color="red" arrowhead="tee"];
54+
"2:A(x[1],y[.]),A(x[1],y[.])->A(x[2],y[1]),A(x[2],y[1])" -> "8:A(x[1],y[.]),A(x[1]),A(y[.])->A(x[2],y[1]),A(x[2]),A(y[1])" [label="[0->0];[0->2];[1->0];[1->2]" color="red" arrowhead="tee"];
55+
"3:A(x[.],y[1]),A(x[.],y[1])->A(x[1],y[2]),A(x[1],y[2])" -> "3:A(x[.],y[1]),A(x[.],y[1])->A(x[1],y[2]),A(x[1],y[2])" [label="[0->1];[1->0]" color="red" arrowhead="tee"];
56+
"3:A(x[.],y[1]),A(x[.],y[1])->A(x[1],y[2]),A(x[1],y[2])" -> "5:A(x[.],y[1]),A(x[.]),A(y[1])->A(x[1],y[2]),A(x[1]),A(y[2])" [label="[0->0];[0->1];[1->0];[1->1]" color="red" arrowhead="tee"];
57+
"3:A(x[.],y[1]),A(x[.],y[1])->A(x[1],y[2]),A(x[1],y[2])" -> "7:A(x[.],y[1]),A(x[.],y[1])->A(x[1],y[2]),A(x[1],y[2])" [label="[0->0];[0->1];[1->0];[1->1]" color="red" arrowhead="tee"];
58+
"3:A(x[.],y[1]),A(x[.],y[1])->A(x[1],y[2]),A(x[1],y[2])" -> "9:A(x[.],y[1]),A(x[.]),A(y[1])->A(x[1],y[2]),A(x[1]),A(y[2])" [label="[0->0];[0->1];[1->0];[1->1]" color="red" arrowhead="tee"];
59+
"4:A(x[1],y[.]),A(x[1]),A(y[.])->A(x[2],y[1]),A(x[2]),A(y[1])" -> "0:A(x[.],y[.]),A(x[.],y[.])->A(x[.],y[1]),A(x[.],y[1])" [label="[2->0];[2->1]" color="red" arrowhead="tee"];
60+
"4:A(x[1],y[.]),A(x[1]),A(y[.])->A(x[2],y[1]),A(x[2]),A(y[1])" -> "1:A(x[.],y[.]),A(x[.],y[.])->A(x[1],y[.]),A(x[1],y[.])" [label="[2->0];[2->1]" color="red" arrowhead="tee"];
61+
"4:A(x[1],y[.]),A(x[1]),A(y[.])->A(x[2],y[1]),A(x[2]),A(y[1])" -> "2:A(x[1],y[.]),A(x[1],y[.])->A(x[2],y[1]),A(x[2],y[1])" [label="[0->0];[0->1];[2->0];[2->1]" color="red" arrowhead="tee"];
62+
"4:A(x[1],y[.]),A(x[1]),A(y[.])->A(x[2],y[1]),A(x[2]),A(y[1])" -> "4:A(x[1],y[.]),A(x[1]),A(y[.])->A(x[2],y[1]),A(x[2]),A(y[1])" [label="[0->2];[2->0]" color="red" arrowhead="tee"];
63+
"4:A(x[1],y[.]),A(x[1]),A(y[.])->A(x[2],y[1]),A(x[2]),A(y[1])" -> "6:A(x[1],y[.]),A(x[1],y[.])->A(x[2],y[1]),A(x[2],y[1])" [label="[0->0];[0->1];[2->0];[2->1]" color="red" arrowhead="tee"];
64+
"4:A(x[1],y[.]),A(x[1]),A(y[.])->A(x[2],y[1]),A(x[2]),A(y[1])" -> "8:A(x[1],y[.]),A(x[1]),A(y[.])->A(x[2],y[1]),A(x[2]),A(y[1])" [label="[0->0];[0->2];[2->0];[2->2]" color="red" arrowhead="tee"];
65+
"5:A(x[.],y[1]),A(x[.]),A(y[1])->A(x[1],y[2]),A(x[1]),A(y[2])" -> "0:A(x[.],y[.]),A(x[.],y[.])->A(x[.],y[1]),A(x[.],y[1])" [label="[1->0];[1->1]" color="red" arrowhead="tee"];
66+
"5:A(x[.],y[1]),A(x[.]),A(y[1])->A(x[1],y[2]),A(x[1]),A(y[2])" -> "1:A(x[.],y[.]),A(x[.],y[.])->A(x[1],y[.]),A(x[1],y[.])" [label="[1->0];[1->1]" color="red" arrowhead="tee"];
67+
"5:A(x[.],y[1]),A(x[.]),A(y[1])->A(x[1],y[2]),A(x[1]),A(y[2])" -> "3:A(x[.],y[1]),A(x[.],y[1])->A(x[1],y[2]),A(x[1],y[2])" [label="[0->0];[0->1];[1->0];[1->1]" color="red" arrowhead="tee"];
68+
"5:A(x[.],y[1]),A(x[.]),A(y[1])->A(x[1],y[2]),A(x[1]),A(y[2])" -> "5:A(x[.],y[1]),A(x[.]),A(y[1])->A(x[1],y[2]),A(x[1]),A(y[2])" [label="[0->1];[1->0]" color="red" arrowhead="tee"];
69+
"5:A(x[.],y[1]),A(x[.]),A(y[1])->A(x[1],y[2]),A(x[1]),A(y[2])" -> "7:A(x[.],y[1]),A(x[.],y[1])->A(x[1],y[2]),A(x[1],y[2])" [label="[0->0];[0->1];[1->0];[1->1]" color="red" arrowhead="tee"];
70+
"5:A(x[.],y[1]),A(x[.]),A(y[1])->A(x[1],y[2]),A(x[1]),A(y[2])" -> "9:A(x[.],y[1]),A(x[.]),A(y[1])->A(x[1],y[2]),A(x[1]),A(y[2])" [label="[0->0];[0->1];[1->0];[1->1]" color="red" arrowhead="tee"];
71+
"6:A(x[1],y[.]),A(x[1],y[.])->A(x[2],y[1]),A(x[2],y[1])" -> "2:A(x[1],y[.]),A(x[1],y[.])->A(x[2],y[1]),A(x[2],y[1])" [label="[0->0];[0->1];[1->0];[1->1]" color="red" arrowhead="tee"];
72+
"6:A(x[1],y[.]),A(x[1],y[.])->A(x[2],y[1]),A(x[2],y[1])" -> "4:A(x[1],y[.]),A(x[1]),A(y[.])->A(x[2],y[1]),A(x[2]),A(y[1])" [label="[0->0];[0->2];[1->0];[1->2]" color="red" arrowhead="tee"];
73+
"6:A(x[1],y[.]),A(x[1],y[.])->A(x[2],y[1]),A(x[2],y[1])" -> "6:A(x[1],y[.]),A(x[1],y[.])->A(x[2],y[1]),A(x[2],y[1])" [label="[0->1];[1->0]" color="red" arrowhead="tee"];
74+
"6:A(x[1],y[.]),A(x[1],y[.])->A(x[2],y[1]),A(x[2],y[1])" -> "8:A(x[1],y[.]),A(x[1]),A(y[.])->A(x[2],y[1]),A(x[2]),A(y[1])" [label="[0->0];[0->2];[1->0];[1->2]" color="red" arrowhead="tee"];
75+
"7:A(x[.],y[1]),A(x[.],y[1])->A(x[1],y[2]),A(x[1],y[2])" -> "3:A(x[.],y[1]),A(x[.],y[1])->A(x[1],y[2]),A(x[1],y[2])" [label="[0->0];[0->1];[1->0];[1->1]" color="red" arrowhead="tee"];
76+
"7:A(x[.],y[1]),A(x[.],y[1])->A(x[1],y[2]),A(x[1],y[2])" -> "5:A(x[.],y[1]),A(x[.]),A(y[1])->A(x[1],y[2]),A(x[1]),A(y[2])" [label="[0->0];[0->1];[1->0];[1->1]" color="red" arrowhead="tee"];
77+
"7:A(x[.],y[1]),A(x[.],y[1])->A(x[1],y[2]),A(x[1],y[2])" -> "7:A(x[.],y[1]),A(x[.],y[1])->A(x[1],y[2]),A(x[1],y[2])" [label="[0->1];[1->0]" color="red" arrowhead="tee"];
78+
"7:A(x[.],y[1]),A(x[.],y[1])->A(x[1],y[2]),A(x[1],y[2])" -> "9:A(x[.],y[1]),A(x[.]),A(y[1])->A(x[1],y[2]),A(x[1]),A(y[2])" [label="[0->0];[0->1];[1->0];[1->1]" color="red" arrowhead="tee"];
79+
"8:A(x[1],y[.]),A(x[1]),A(y[.])->A(x[2],y[1]),A(x[2]),A(y[1])" -> "0:A(x[.],y[.]),A(x[.],y[.])->A(x[.],y[1]),A(x[.],y[1])" [label="[2->0];[2->1]" color="red" arrowhead="tee"];
80+
"8:A(x[1],y[.]),A(x[1]),A(y[.])->A(x[2],y[1]),A(x[2]),A(y[1])" -> "1:A(x[.],y[.]),A(x[.],y[.])->A(x[1],y[.]),A(x[1],y[.])" [label="[2->0];[2->1]" color="red" arrowhead="tee"];
81+
"8:A(x[1],y[.]),A(x[1]),A(y[.])->A(x[2],y[1]),A(x[2]),A(y[1])" -> "2:A(x[1],y[.]),A(x[1],y[.])->A(x[2],y[1]),A(x[2],y[1])" [label="[0->0];[0->1];[2->0];[2->1]" color="red" arrowhead="tee"];
82+
"8:A(x[1],y[.]),A(x[1]),A(y[.])->A(x[2],y[1]),A(x[2]),A(y[1])" -> "4:A(x[1],y[.]),A(x[1]),A(y[.])->A(x[2],y[1]),A(x[2]),A(y[1])" [label="[0->0];[0->2];[2->0];[2->2]" color="red" arrowhead="tee"];
83+
"8:A(x[1],y[.]),A(x[1]),A(y[.])->A(x[2],y[1]),A(x[2]),A(y[1])" -> "6:A(x[1],y[.]),A(x[1],y[.])->A(x[2],y[1]),A(x[2],y[1])" [label="[0->0];[0->1];[2->0];[2->1]" color="red" arrowhead="tee"];
84+
"8:A(x[1],y[.]),A(x[1]),A(y[.])->A(x[2],y[1]),A(x[2]),A(y[1])" -> "8:A(x[1],y[.]),A(x[1]),A(y[.])->A(x[2],y[1]),A(x[2]),A(y[1])" [label="[0->2];[2->0]" color="red" arrowhead="tee"];
85+
"9:A(x[.],y[1]),A(x[.]),A(y[1])->A(x[1],y[2]),A(x[1]),A(y[2])" -> "0:A(x[.],y[.]),A(x[.],y[.])->A(x[.],y[1]),A(x[.],y[1])" [label="[1->0];[1->1]" color="red" arrowhead="tee"];
86+
"9:A(x[.],y[1]),A(x[.]),A(y[1])->A(x[1],y[2]),A(x[1]),A(y[2])" -> "1:A(x[.],y[.]),A(x[.],y[.])->A(x[1],y[.]),A(x[1],y[.])" [label="[1->0];[1->1]" color="red" arrowhead="tee"];
87+
"9:A(x[.],y[1]),A(x[.]),A(y[1])->A(x[1],y[2]),A(x[1]),A(y[2])" -> "3:A(x[.],y[1]),A(x[.],y[1])->A(x[1],y[2]),A(x[1],y[2])" [label="[0->0];[0->1];[1->0];[1->1]" color="red" arrowhead="tee"];
88+
"9:A(x[.],y[1]),A(x[.]),A(y[1])->A(x[1],y[2]),A(x[1]),A(y[2])" -> "5:A(x[.],y[1]),A(x[.]),A(y[1])->A(x[1],y[2]),A(x[1]),A(y[2])" [label="[0->0];[0->1];[1->0];[1->1]" color="red" arrowhead="tee"];
89+
"9:A(x[.],y[1]),A(x[.]),A(y[1])->A(x[1],y[2]),A(x[1]),A(y[2])" -> "7:A(x[.],y[1]),A(x[.],y[1])->A(x[1],y[2]),A(x[1],y[2])" [label="[0->0];[0->1];[1->0];[1->1]" color="red" arrowhead="tee"];
90+
"9:A(x[.],y[1]),A(x[.]),A(y[1])->A(x[1],y[2]),A(x[1]),A(y[2])" -> "9:A(x[.],y[1]),A(x[.]),A(y[1])->A(x[1],y[2]),A(x[1]),A(y[2])" [label="[0->1];[1->0]" color="red" arrowhead="tee"];
91+
}

‎tests/integration/boolean_parameters/sequential_bond/output/LOG.ref‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,8 +9,8 @@ Reachability analysis...
99
------------------------------------------------------------
1010
* There are some non applyable rules
1111
------------------------------------------------------------
12+
rule 'seq_bond_0 (File "example_sequential_bond.ka", line 10, characters 0-40:) could be applied if @sq-A-x-y.
1213
rule File "example_sequential_bond.ka", line 10, characters 0-40: could be applied if ~@sq-A-x-y.
13-
rule File "example_sequential_bond.ka", line 10, characters 0-40: could be applied if @sq-A-x-y.
1414
------------------------------------------------------------
1515
every agent may occur in the model
1616

‎tests/integration/boolean_parameters/site_across_bond/README‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
#Command-line:
2+
"${KAPPABIN}"KaSa example_site_across_bonds.ka --output-directory output --debugging-mode -syntax 4 || exit 0

tests/integration/boolean_parameters/site_across_bond/example_site_across_bounds.ka renamed to tests/integration/boolean_parameters/site_across_bond/example_site_across_bonds.ka

File renamed without changes.

‎tests/integration/boolean_parameters/views_domain/README‎

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
#Command-line:
2+
"${KAPPABIN}"KaSa example_views.ka --output-directory output --debugging-mode -syntax 4 || exit 0
3+
"${KAPPABIN}"KaSim example_views.ka -l 2000 -d output -p 20 -syntax 4 -seed 858703540 || exit 0

0 commit comments

Comments
 (0)