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

More complete test case

parent 8150a68f
No related branches found
No related tags found
No related merge requests found
......@@ -30,13 +30,13 @@
e = {2 for i in global.g};
#NODE A
#VARIABLES
external: x;
external: x @tag;
external: y;
#HYPEREDGE E
#PARAMETERS
a = 2;
#CONSTRAINTS
A.x == A.y;
A.x == A.y @tag;
#VARIABLES
internal: a;
external: b;
......@@ -56,7 +56,7 @@
sum(a*2 for a in myfunc(2)) == 2;
sum(i+j for i in [0:10] for j in [0:i]) == x;
#OBJECTIVES
min named: a;
min named: a @tag;
max: b[i] for i in [0:2*4] where i % 2 == 1;
#HYPEREDGE he1 = import lal from "x" with
a = 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