Add missing test files

testdata/alias_01.accepts

@@ -0,0 +1,3 @@
+{"COUNTER": [0]}
+{"COUNTER": [0,0]}
+{"COUNTER": [0,0,0]}

testdata/alias_01.lisp

@@ -0,0 +1,3 @@
+(defcolumns COUNTER)
+(defalias CT COUNTER)
+(defconstraint heartbeat () CT)

testdata/alias_01.rejects

@@ -0,0 +1,8 @@
+{"COUNTER": [1]}
+{"COUNTER": [1]}
+{"COUNTER": [0,1]}
+{"COUNTER": [1,0]}
+{"COUNTER": [1,1]}
+{"COUNTER": [0,0,1]}
+{"COUNTER": [0,1,0]}
+{"COUNTER": [1,0,0]}

testdata/constant_04.rejects

@@ -0,0 +1,38 @@
+{"X": [-1], "Y": [0], "Z": [0]}
+{"X": [-1], "Y": [1], "Z": [1]}
+{"X": [-1], "Y": [2], "Z": [0]}
+{"X": [-1], "Y": [3], "Z": [1]}
+{"X":  [0], "Y": [1], "Z": [1]}
+{"X":  [0], "Y": [2], "Z": [0]}
+{"X":  [0], "Y": [3], "Z": [1]}
+{"X":  [1], "Y": [0], "Z": [0]}
+{"X":  [1], "Y": [2], "Z": [0]}
+{"X":  [1], "Y": [3], "Z": [1]}
+{"X":  [2], "Y": [0], "Z": [0]}
+{"X":  [2], "Y": [1], "Z": [1]}
+{"X":  [2], "Y": [3], "Z": [1]}
+{"X":  [3], "Y": [0], "Z": [0]}
+{"X":  [3], "Y": [1], "Z": [1]}
+{"X":  [3], "Y": [2], "Z": [0]}
+{"X":  [4], "Y": [1], "Z": [1]}
+{"X":  [4], "Y": [2], "Z": [0]}
+{"X":  [4], "Y": [3], "Z": [1]}
+{"X":  [5], "Y": [0], "Z": [0]}
+{"X":  [5], "Y": [2], "Z": [0]}
+{"X":  [5], "Y": [3], "Z": [1]}
+{"X":  [6], "Y": [0], "Z": [0]}
+{"X":  [6], "Y": [1], "Z": [1]}
+{"X":  [6], "Y": [3], "Z": [1]}
+{"X":  [7], "Y": [0], "Z": [0]}
+{"X":  [7], "Y": [1], "Z": [1]}
+{"X":  [7], "Y": [2], "Z": [0]}
+{"X":  [-1], "Y": [-1], "Z": [1]}
+{"X":  [0], "Y": [-1], "Z": [1]}
+{"X":  [1], "Y": [-1], "Z": [1]}
+{"X":  [2], "Y": [-1], "Z": [1]}
+{"X":  [3], "Y": [-1], "Z": [1]}
+{"X":  [-1], "Y": [5], "Z": [1]}
+{"X":  [0], "Y": [5], "Z": [1]}
+{"X":  [1], "Y": [5], "Z": [1]}
+{"X":  [2], "Y": [5], "Z": [1]}
+{"X":  [3], "Y": [5], "Z": [1]}

testdata/constant_05.rejects

@@ -0,0 +1,6 @@
+{"CT": [1,0]}
+{"CT": [2,0]}
+{"CT": [0,2]}
+{"CT": [0,3]}
+{"CT": [0,0,2]}
+{"CT": [0,1,3]}

testdata/constant_06.rejects

@@ -0,0 +1,12 @@
+{ "X": [0], "Y": [1] }
+{ "X": [0], "Y": [2] }
+{ "X": [1], "Y": [0] }
+{ "X": [1], "Y": [2] }
+{ "X": [2], "Y": [0] }
+{ "X": [2], "Y": [1] }
+{ "X": [2], "Y": [2] }
+{ "X": [2], "Y": [3] }
+{ "X": [1,1], "Y": [1,2] }
+{ "X": [1,1], "Y": [2,1] }
+{ "X": [2,2], "Y": [2,4] }
+{ "X": [2,2], "Y": [4,2] }