diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-02-06 21:56:29 +0100 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-02-07 21:36:22 +0100 |
| commit | f5b30265353dac511c47b8b2748655d4c0629756 (patch) | |
| tree | e2ac89b31f6bb080340af06b5665417a7f8e143a /testdata | |
| parent | 76b4743b6a5c1c52659b2deb31ceb53865615f46 (diff) | |
cleanup constraint reduction
Diffstat (limited to 'testdata')
| -rw-r--r-- | testdata/Tetrahedron.lc (renamed from testdata/bugs/Tetrahedron.wip.lc) | 0 | ||||
| -rw-r--r-- | testdata/Tetrahedron.out | 1 |
2 files changed, 1 insertions, 0 deletions
diff --git a/testdata/bugs/Tetrahedron.wip.lc b/testdata/Tetrahedron.lc index 79a742a5..79a742a5 100644 --- a/testdata/bugs/Tetrahedron.wip.lc +++ b/testdata/Tetrahedron.lc | |||
diff --git a/testdata/Tetrahedron.out b/testdata/Tetrahedron.out new file mode 100644 index 00000000..97b40b5c --- /dev/null +++ b/testdata/Tetrahedron.out | |||
| @@ -0,0 +1 @@ | |||
| [32m[32mmain[m[m \ No newline at end of file | |||