From 4f6b0d7674a7b5d566a55b7a7ade8186585f0f38 Mon Sep 17 00:00:00 2001 From: Derval Guillaume <gderval@uliege.be> Date: Sun, 4 Dec 2022 13:05:49 +0100 Subject: [PATCH] More complete test case --- tests/instances/ok/complex_parsing.txt | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/tests/instances/ok/complex_parsing.txt b/tests/instances/ok/complex_parsing.txt index 349e999..a4e0269 100644 --- a/tests/instances/ok/complex_parsing.txt +++ b/tests/instances/ok/complex_parsing.txt @@ -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; -- GitLab