test/compiler/fixfree.a4c

REQUIRE "system.a4l";

MODEL test1;
	x,y,z IS_A solver_var;
	x = y + z;
METHODS
METHOD on_load;
	FIX y;
END on_load;
END test1;

MODEL test2;
	x,y,z IS_A solver_var;
	x = y + z;
METHODS
METHOD on_load;
	FIX x,a,b,z;
END on_load;
END test2;

MODEL test3;
	x,y[1..2], z IS_A solver_var;
	n IS_A integer_constant;
	x = y[1] + y[2] + z;
METHODS
METHOD on_load;
	FIX x,y[n],z;
END on_load;
END test3;
1	REQUIRE "system.a4l";
2
3	MODEL test1;
4	x,y,z IS_A solver_var;
5	x = y + z;
6	METHODS
7	METHOD on_load;
8	FIX y;
9	END on_load;
10	END test1;
11
12	MODEL test2;
13	x,y,z IS_A solver_var;
14	x = y + z;
15	METHODS
16	METHOD on_load;
17	FIX x,a,b,z;
18	END on_load;
19	END test2;
20
21	MODEL test3;
22	x,y[1..2], z IS_A solver_var;
23	n IS_A integer_constant;
24	x = y[1] + y[2] + z;
25	METHODS
26	METHOD on_load;
27	FIX x,y[n],z;
28	END on_load;
29	END test3;