this repo has no description
dekker.one
1/***
2!Test
3solvers: [gecode]
4expected: !Result
5 status: SATISFIED
6 solution: !Solution
7 assert_par_int: 1
8 assert_var_int: 2
9 assert_par_opt_int: 3
10 assert_var_opt_int: 4
11 assert_array_of_par_int: [1]
12 assert_array_of_var_int: [2]
13 assert_array_of_par_opt_int: [3]
14 assert_array_of_var_opt_int: [4]
15 trace_par_int: 1
16 trace_var_int: 2
17 trace_par_opt_int: 3
18 trace_var_opt_int: 4
19 trace_array_of_par_int: [1]
20 trace_array_of_var_int: [2]
21 trace_array_of_par_opt_int: [3]
22 trace_array_of_var_opt_int: [4]
23 logstream: "trace_logstream_par_int\ntrace_logstream_var_int\ntrace_logstream_par_opt_int\ntrace_logstream_var_opt_int\ntrace_logstream_array_of_par_int\ntrace_logstream_array_of_var_int\ntrace_logstream_array_of_par_opt_int\ntrace_logstream_array_of_var_opt_int\n"
24***/
25
26% Previously this would fail type-checking due to missing definitions of trace and assert
27
28int: par_int = 1;
29var 2..2: var_int;
30opt int: par_opt_int = 3;
31var opt 4..4: var_opt_int;
32
33array[int] of int: array_of_par_int = [1];
34array[1..1] of var 2..2: array_of_var_int;
35array[int] of opt int: array_of_par_opt_int = [3];
36array[1..1] of var opt 4..4: array_of_var_opt_int;
37
38constraint not absent(var_opt_int) /\ not absent(array_of_var_opt_int[1]);
39
40int: assert_par_int :: add_to_output = assert(true, "assert_par_int\n", par_int);
41var 2..2: assert_var_int :: add_to_output = assert(true, "assert_var_int\n", var_int);
42opt int: assert_par_opt_int :: add_to_output = assert(true, "assert_par_opt_int\n", par_opt_int);
43var opt 4..4: assert_var_opt_int :: add_to_output = assert(true, "assert_var_opt_int\n", var_opt_int);
44
45array[int] of int: assert_array_of_par_int :: add_to_output = assert(true, "assert_array_of_par_int\n", array_of_par_int);
46array[1..1] of var 2..2: assert_array_of_var_int :: add_to_output = assert(true, "assert_array_of_var_int\n", array_of_var_int);
47array[int] of opt int: assert_array_of_par_opt_int :: add_to_output = assert(true, "assert_array_of_par_opt_int\n", array_of_par_opt_int);
48array[1..1] of var opt 4..4: assert_array_of_var_opt_int :: add_to_output = assert(true, "assert_array_of_var_opt_int\n", array_of_var_opt_int);
49
50int: trace_par_int :: add_to_output = trace("trace_par_int\n", par_int);
51var 2..2: trace_var_int :: add_to_output = trace("trace_var_int\n", var_int);
52opt int: trace_par_opt_int :: add_to_output = trace("trace_par_opt_int\n", par_opt_int);
53var opt 4..4: trace_var_opt_int :: add_to_output = trace("trace_var_opt_int\n", var_opt_int);
54
55array[int] of int: trace_array_of_par_int :: add_to_output = trace("trace_array_of_par_int\n", array_of_par_int);
56array[1..1] of var 2..2: trace_array_of_var_int :: add_to_output = trace("trace_array_of_var_int\n", array_of_var_int);
57array[int] of opt int: trace_array_of_par_opt_int :: add_to_output = trace("trace_array_of_par_opt_int\n", array_of_par_opt_int);
58array[1..1] of var opt 4..4: trace_array_of_var_opt_int :: add_to_output = trace("trace_array_of_var_opt_int\n", array_of_var_opt_int);
59
60int: trace_stdout_par_int :: add_to_output = trace_stdout("% trace_stdout_par_int\n", par_int);
61var 2..2: trace_stdout_var_int :: add_to_output = trace_stdout("% trace_stdout_var_int\n", var_int);
62opt int: trace_stdout_par_opt_int :: add_to_output = trace_stdout("% trace_stdout_par_opt_int\n", par_opt_int);
63var opt 4..4: trace_stdout_var_opt_int :: add_to_output = trace_stdout("% trace_stdout_var_opt_int\n", var_opt_int);
64
65array[int] of int: trace_stdout_array_of_par_int :: add_to_output = trace_stdout("% trace_stdout_array_of_par_int\n", array_of_par_int);
66array[1..1] of var 2..2: trace_stdout_array_of_var_int :: add_to_output = trace_stdout("% trace_stdout_array_of_var_int\n", array_of_var_int);
67array[int] of opt int: trace_stdout_array_of_par_opt_int :: add_to_output = trace_stdout("% trace_stdout_array_of_par_opt_int\n", array_of_par_opt_int);
68array[1..1] of var opt 4..4: trace_stdout_array_of_var_opt_int :: add_to_output = trace_stdout("% trace_stdout_array_of_var_opt_int\n", array_of_var_opt_int);
69
70int: trace_logstream_par_int :: add_to_output = trace_logstream("trace_logstream_par_int\n", par_int);
71var 2..2: trace_logstream_var_int :: add_to_output = trace_logstream("trace_logstream_var_int\n", var_int);
72opt int: trace_logstream_par_opt_int :: add_to_output = trace_logstream("trace_logstream_par_opt_int\n", par_opt_int);
73var opt 4..4: trace_logstream_var_opt_int :: add_to_output = trace_logstream("trace_logstream_var_opt_int\n", var_opt_int);
74
75array[int] of int: trace_logstream_array_of_par_int :: add_to_output = trace_logstream("trace_logstream_array_of_par_int\n", array_of_par_int);
76array[1..1] of var 2..2: trace_logstream_array_of_var_int :: add_to_output = trace_logstream("trace_logstream_array_of_var_int\n", array_of_var_int);
77array[int] of opt int: trace_logstream_array_of_par_opt_int :: add_to_output = trace_logstream("trace_logstream_array_of_par_opt_int\n", array_of_par_opt_int);
78array[1..1] of var opt 4..4: trace_logstream_array_of_var_opt_int :: add_to_output = trace_logstream("trace_logstream_array_of_var_opt_int\n", array_of_var_opt_int);
79
80string: logstream :: add_to_output = logstream_to_string();