this repo has no description
dekker.one
1int: wa;
2int: nt;
3int: sa;
4int: q;
5int: nsw;
6int: v;
7int: t;
8
9test check(bool: b,string: s) =
10 if b then true else trace_stdout("ERROR: "++s++"\n",false) endif;
11
12output [
13 if check(wa!=nt, "wa and nt have the same colour")
14 /\ check(wa!=sa, "wa and sa have the same colour")
15 /\ check(nt!=sa, "nt and sa have the same colour")
16 /\ check(nt!=q, "nt and q have the same colour")
17 /\ check(sa!=q, "sa and q have the same colour")
18 /\ check(sa!=nsw, "sa and nsw have the same colour")
19 /\ check(sa!=v, "sa and v have the same colour")
20 /\ check(q!=nsw, "q and nsw have the same colour")
21 /\ check(nsw!=v, "nsw and v have the same colour")
22 then "CORRECT: all constraints hold.\n"
23 else "INCORRECT\n"
24 endif
25];