diff options
| author | Sebastiano Tronto <sebastiano@tronto.net> | 2023-10-05 15:28:45 +0200 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano@tronto.net> | 2023-10-05 15:30:21 +0200 |
| commit | ffb67c9dcd22c4c3258b9ef78301e404e7d9a796 (patch) | |
| tree | 67f90a2c988a08a14fc31de1731bf9fcc7439816 /test/01_io | |
| parent | 9e698917cb5b332cdbf1969ddfe3840239106c8d (diff) | |
| download | nissy-core-ffb67c9dcd22c4c3258b9ef78301e404e7d9a796.tar.gz nissy-core-ffb67c9dcd22c4c3258b9ef78301e404e7d9a796.zip | |
Split isconsistent() and issolvable()
Diffstat (limited to 'test/01_io')
| -rw-r--r-- | test/01_io/04_inconsistent_ep.out | 1 | ||||
| -rw-r--r-- | test/01_io/04_unsolvable_ep.in (renamed from test/01_io/04_inconsistent_ep.in) | 0 | ||||
| -rw-r--r-- | test/01_io/04_unsolvable_ep.out | 1 | ||||
| -rw-r--r-- | test/01_io/05_inconsistent_eo.out | 1 | ||||
| -rw-r--r-- | test/01_io/05_unsolvable_eo.in (renamed from test/01_io/05_inconsistent_eo.in) | 0 | ||||
| -rw-r--r-- | test/01_io/05_unsolvable_eo.out | 1 | ||||
| -rw-r--r-- | test/01_io/06_inconsistent_cp.out | 1 | ||||
| -rw-r--r-- | test/01_io/06_unsolvable_cp.in (renamed from test/01_io/06_inconsistent_cp.in) | 0 | ||||
| -rw-r--r-- | test/01_io/06_unsolvable_cp.out | 1 | ||||
| -rw-r--r-- | test/01_io/07_inconsistent_co.out | 1 | ||||
| -rw-r--r-- | test/01_io/07_unsolvable_co.in (renamed from test/01_io/07_inconsistent_co.in) | 0 | ||||
| -rw-r--r-- | test/01_io/07_unsolvable_co.out | 1 | ||||
| -rw-r--r-- | test/01_io/io_tests.c | 4 |
13 files changed, 6 insertions, 6 deletions
diff --git a/test/01_io/04_inconsistent_ep.out b/test/01_io/04_inconsistent_ep.out deleted file mode 100644 index cb70902..0000000 --- a/test/01_io/04_inconsistent_ep.out +++ /dev/null | |||
| @@ -1 +0,0 @@ | |||
| 1 | Cube is inconsistent | ||
diff --git a/test/01_io/04_inconsistent_ep.in b/test/01_io/04_unsolvable_ep.in index 8483962..8483962 100644 --- a/test/01_io/04_inconsistent_ep.in +++ b/test/01_io/04_unsolvable_ep.in | |||
diff --git a/test/01_io/04_unsolvable_ep.out b/test/01_io/04_unsolvable_ep.out new file mode 100644 index 0000000..e35c6e4 --- /dev/null +++ b/test/01_io/04_unsolvable_ep.out | |||
| @@ -0,0 +1 @@ | |||
| Cube is not solvable | |||
diff --git a/test/01_io/05_inconsistent_eo.out b/test/01_io/05_inconsistent_eo.out deleted file mode 100644 index cb70902..0000000 --- a/test/01_io/05_inconsistent_eo.out +++ /dev/null | |||
| @@ -1 +0,0 @@ | |||
| 1 | Cube is inconsistent | ||
diff --git a/test/01_io/05_inconsistent_eo.in b/test/01_io/05_unsolvable_eo.in index a92089d..a92089d 100644 --- a/test/01_io/05_inconsistent_eo.in +++ b/test/01_io/05_unsolvable_eo.in | |||
diff --git a/test/01_io/05_unsolvable_eo.out b/test/01_io/05_unsolvable_eo.out new file mode 100644 index 0000000..e35c6e4 --- /dev/null +++ b/test/01_io/05_unsolvable_eo.out | |||
| @@ -0,0 +1 @@ | |||
| Cube is not solvable | |||
diff --git a/test/01_io/06_inconsistent_cp.out b/test/01_io/06_inconsistent_cp.out deleted file mode 100644 index cb70902..0000000 --- a/test/01_io/06_inconsistent_cp.out +++ /dev/null | |||
| @@ -1 +0,0 @@ | |||
| 1 | Cube is inconsistent | ||
diff --git a/test/01_io/06_inconsistent_cp.in b/test/01_io/06_unsolvable_cp.in index 2085dd5..2085dd5 100644 --- a/test/01_io/06_inconsistent_cp.in +++ b/test/01_io/06_unsolvable_cp.in | |||
diff --git a/test/01_io/06_unsolvable_cp.out b/test/01_io/06_unsolvable_cp.out new file mode 100644 index 0000000..e35c6e4 --- /dev/null +++ b/test/01_io/06_unsolvable_cp.out | |||
| @@ -0,0 +1 @@ | |||
| Cube is not solvable | |||
diff --git a/test/01_io/07_inconsistent_co.out b/test/01_io/07_inconsistent_co.out deleted file mode 100644 index cb70902..0000000 --- a/test/01_io/07_inconsistent_co.out +++ /dev/null | |||
| @@ -1 +0,0 @@ | |||
| 1 | Cube is inconsistent | ||
diff --git a/test/01_io/07_inconsistent_co.in b/test/01_io/07_unsolvable_co.in index abd74e2..abd74e2 100644 --- a/test/01_io/07_inconsistent_co.in +++ b/test/01_io/07_unsolvable_co.in | |||
diff --git a/test/01_io/07_unsolvable_co.out b/test/01_io/07_unsolvable_co.out new file mode 100644 index 0000000..e35c6e4 --- /dev/null +++ b/test/01_io/07_unsolvable_co.out | |||
| @@ -0,0 +1 @@ | |||
| Cube is not solvable | |||
diff --git a/test/01_io/io_tests.c b/test/01_io/io_tests.c index 42ef9b8..913ec1d 100644 --- a/test/01_io/io_tests.c +++ b/test/01_io/io_tests.c | |||
| @@ -17,8 +17,8 @@ int main() { | |||
| 17 | 17 | ||
| 18 | if (iserror(cube)) { | 18 | if (iserror(cube)) { |
| 19 | printf("Error reading cube\n"); | 19 | printf("Error reading cube\n"); |
| 20 | } else if (!isconsistent(cube)) { | 20 | } else if (!issolvable(cube)) { |
| 21 | printf("Cube is inconsistent\n"); | 21 | printf("Cube is not solvable\n"); |
| 22 | } else { | 22 | } else { |
| 23 | writecube(cube, str); | 23 | writecube(cube, str); |
| 24 | printf("%s\n", str); | 24 | printf("%s\n", str); |
