Skip to content
Snippets Groups Projects
Commit dcb63f9e authored by Derval Guillaume's avatar Derval Guillaume
Browse files

Fix complex_parsing.txt

parent 3443fbf8
No related branches found
No related tags found
No related merge requests found
Pipeline #35178 failed
...@@ -6,8 +6,8 @@ ...@@ -6,8 +6,8 @@
c = 2e2; c = 2e2;
d = -1; d = -1;
e <- 2e-2; e <- 2e-2;
f = 0:2; f = [0:2];
f = {i for i in 0:10, i for i in 100:120}; f = {i for i in [0:10], i for i in [100:120]};
g = [0:10:2]; g = [0:10:2];
#NODE nodeI = import nodeA from "hello.gboml"; #NODE nodeI = import nodeA from "hello.gboml";
#NODE nodeI2 = import nodeA from "hello.gboml" with #NODE nodeI2 = import nodeA from "hello.gboml" with
...@@ -22,6 +22,11 @@ ...@@ -22,6 +22,11 @@
#HYPEREDGE E[i] for i in [0:10] #HYPEREDGE E[i] for i in [0:10]
#CONSTRAINTS #CONSTRAINTS
pass; pass;
#NODE node1 extends A from "lol.txt"
#VARIABLES
pass;
#NODE node1 extends A from "lol.txt" @cquetuveux #NODE node1 extends A from "lol.txt" @cquetuveux
#PARAMETERS #PARAMETERS
a = 2; a = 2;
...@@ -32,9 +37,6 @@ ...@@ -32,9 +37,6 @@
f <- {A, B}; f <- {A, B};
dict <- {"heu": A, "je": B}; dict <- {"heu": A, "je": B};
func(x) <- x*2; func(x) <- x*2;
#CONSTRAINTS
sum(e.x for e in @pv) == 0;
dict["heu"].x == dict["je"].x + f(2);
#NODE A #NODE A
#VARIABLES #VARIABLES
external: x @tag; external: x @tag;
...@@ -51,6 +53,8 @@ ...@@ -51,6 +53,8 @@
internal integer: d[T+2]; internal integer: d[T+2];
internal binary: e[T-2]; internal binary: e[T-2];
#CONSTRAINTS #CONSTRAINTS
sum(e.x for e in @pv) == 0;
dict["heu"].x == dict["je"].x + f(2);
2+f(2,2,{2})*(2-2/2%2**2) == -2.2*0; 2+f(2,2,{2})*(2-2/2%2**2) == -2.2*0;
2 >= 0; 2 >= 0;
0 <= 2; 0 <= 2;
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment