Skip to content

Commit 0d90a86

Browse files
ozgurakgunozgurakgun
committed
rename test files
1 parent 75e6aab commit 0d90a86

17 files changed

+41
-22
lines changed

‎tests/custom/permutations/permInverse/01/01.essence ‎tests/custom/permutations/permInverse/01/00.essence

File renamed without changes.

‎tests/custom/permutations/permInverse/01/stdout.expected

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
Generating models for 01.essence
1+
Generating models for 00.essence
22
Generated models: model000001.eprime
33
Saved under: conjure-output
44
Savile Row: conjure-output/model000001.eprime

‎tests/custom/permutations/permInverse/02/02.essence ‎tests/custom/permutations/permInverse/02/00.essence

File renamed without changes.

‎tests/custom/permutations/permInverse/02/stdout.expected

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
Generating models for 02.essence
1+
Generating models for 00.essence
22
Generated models: model000001.eprime
33
Saved under: conjure-output
44
Savile Row: conjure-output/model000001.eprime

‎tests/custom/permutations/permInverse/03/03.essence ‎tests/custom/permutations/permInverse/03/00.essence

File renamed without changes.

‎tests/custom/permutations/permInverse/03/stdout.expected

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
Generating models for 03.essence
1+
Generating models for 00.essence
22
Generated models: model000001.eprime
33
Saved under: conjure-output
44
Savile Row: conjure-output/model000001.eprime

‎tests/custom/permutations/permInverse/04/04.essence ‎tests/custom/permutations/permInverse/04/00.essence

File renamed without changes.

‎tests/custom/permutations/permInverse/04/stdout.expected

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
Generating models for 04.essence
1+
Generating models for 00.essence
22
Generated models: model000001.eprime
33
Saved under: conjure-output
44
Savile Row: conjure-output/model000001.eprime

‎tests/custom/permutations/permInverse/05/05.essence ‎tests/custom/permutations/permInverse/05/00.essence

File renamed without changes.

‎tests/custom/permutations/permInverse/05/stdout.expected

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
Generating models for 05.essence
1+
Generating models for 00.essence
22
Generated models: model000001.eprime
33
Saved under: conjure-output
44
Savile Row: conjure-output/model000001.eprime

‎tests/custom/permutations/permInverse/06/00.essence

+2
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
letting A be new type of size 3
2+
find x : matrix [A] of bool

‎tests/custom/permutations/permInverse/06/06.essence

-16
This file was deleted.

‎tests/custom/permutations/permInverse/06/stdout.expected

+10-1
Original file line numberDiff line numberDiff line change
@@ -1,10 +1,19 @@
1-
Generating models for 06.essence
1+
Generating models for 00.essence
22
Generated models: model000001.eprime
33
Saved under: conjure-output
44
Savile Row: conjure-output/model000001.eprime
55
Running minion for domain filtering.
66
Running solver: minion
77
[
8+
{"A": ["A_1", "A_2", "A_3"],
9+
"x": {"1": false, "2": false, "3": false}}
10+
,
11+
{"A": ["A_1", "A_2", "A_3"],
12+
"x": {"1": true, "2": false, "3": false}}
13+
,
814
{"A": ["A_1", "A_2", "A_3"],
915
"x": {"1": true, "2": true, "3": false}}
16+
,
17+
{"A": ["A_1", "A_2", "A_3"],
18+
"x": {"1": true, "2": true, "3": true}}
1019
]

‎tests/custom/permutations/permInverse/07/00.essence

+2
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
letting A be new type of size 3
2+
find x : matrix [int(1..2)] of A

‎tests/custom/permutations/permInverse/07/run.sh

+5
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
2+
rm -rf conjure-output
3+
conjure solve *.essence --output-format=json --solutions-in-one-file --number-of-solutions=all --line-width=50 --copy-solutions=no --unnamed-symmetry-breaking=full
4+
cat conjure-output/model000001.solutions.json
5+
rm -rf conjure-output

‎tests/custom/permutations/permInverse/07/stderr.expected

+4
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
Adding the following unnamed symmetry breaking constraints:
2+
such that
3+
and([tuple (x) .<= transform(q1, tuple (x))
4+
| q1 : permutation of A])

‎tests/custom/permutations/permInverse/07/stdout.expected

+13
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,13 @@
1+
Generating models for 00.essence
2+
Generated models: model000001.eprime
3+
Saved under: conjure-output
4+
Savile Row: conjure-output/model000001.eprime
5+
Running minion for domain filtering.
6+
Running solver: minion
7+
[
8+
{"A": ["A_1", "A_2", "A_3"],
9+
"x": {"1": "A_1", "2": "A_1"}}
10+
,
11+
{"A": ["A_1", "A_2", "A_3"],
12+
"x": {"1": "A_1", "2": "A_2"}}
13+
]

0 commit comments

Comments
 (0)