update test file

conjure-cp · Mar 9, 2024 · b7eaea6 · b7eaea6
1 parent eade4da
commit b7eaea6
Showing 1 changed file with 24 additions and 24 deletions.
diff --git a/tests/allsolvers/stdout.expected b/tests/allsolvers/stdout.expected
@@ -2,7 +2,7 @@ default, minion
 Generating models for test.essence
 Generated models: model000001.eprime
 Saved under: conjure-output
-Savile Row: model000001.eprime
+Savile Row: conjure-output/model000001.eprime
 Running minion for domain filtering.
 Running solver: minion
 Copying solution to: test.solution
@@ -11,7 +11,7 @@ Copying solution to: test.solution
 ========================================
 minion
 Using cached models.
-Savile Row: model000001.eprime
+Savile Row: conjure-output/model000001.eprime
 Running minion for domain filtering.
 Running solver: minion
 Copying solution to: test.solution
@@ -20,7 +20,7 @@ Copying solution to: test.solution
 ========================================
 chuffed
 Using cached models.
-Savile Row: model000001.eprime
+Savile Row: conjure-output/model000001.eprime
 Running minion for domain filtering.
 Running solver: chuffed
 Copying solution to: test.solution
@@ -29,7 +29,7 @@ Copying solution to: test.solution
 ========================================
 or-tools
 Using cached models.
-Savile Row: model000001.eprime
+Savile Row: conjure-output/model000001.eprime
 Running minion for domain filtering.
 Running solver: or-tools
 Copying solution to: test.solution
@@ -38,7 +38,7 @@ Copying solution to: test.solution
 ========================================
 glucose
 Using cached models.
-Savile Row: model000001.eprime
+Savile Row: conjure-output/model000001.eprime
 Running minion for domain filtering.
 Running solver: glucose
 Copying solution to: test.solution
@@ -47,7 +47,7 @@ Copying solution to: test.solution
 ========================================
 glucose-syrup
 Using cached models.
-Savile Row: model000001.eprime
+Savile Row: conjure-output/model000001.eprime
 Running minion for domain filtering.
 Running solver: glucose-syrup
 Copying solution to: test.solution
@@ -56,7 +56,7 @@ Copying solution to: test.solution
 ========================================
 lingeling
 Using cached models.
-Savile Row: model000001.eprime
+Savile Row: conjure-output/model000001.eprime
 Running minion for domain filtering.
 Running solver: lingeling
 Copying solution to: test.solution
@@ -65,7 +65,7 @@ Copying solution to: test.solution
 ========================================
 plingeling
 Using cached models.
-Savile Row: model000001.eprime
+Savile Row: conjure-output/model000001.eprime
 Running minion for domain filtering.
 Running solver: plingeling
 Copying solution to: test.solution
@@ -74,7 +74,7 @@ Copying solution to: test.solution
 ========================================
 treengeling
 Using cached models.
-Savile Row: model000001.eprime
+Savile Row: conjure-output/model000001.eprime
 Running minion for domain filtering.
 Running solver: treengeling
 Copying solution to: test.solution
@@ -83,7 +83,7 @@ Copying solution to: test.solution
 ========================================
 cadical
 Using cached models.
-Savile Row: model000001.eprime
+Savile Row: conjure-output/model000001.eprime
 Running minion for domain filtering.
 Running solver: cadical
 Copying solution to: test.solution
@@ -92,7 +92,7 @@ Copying solution to: test.solution
 ========================================
 bc_minisat_all --number-of-solutions=all
 Using cached models.
-Savile Row: model000001.eprime
+Savile Row: conjure-output/model000001.eprime
 Running minion for domain filtering.
 Running solver: bc_minisat_all
 Copying solution to: test-000001.solution
@@ -107,7 +107,7 @@ Copying solution to: test-000007.solution
 ========================================
 nbc_minisat_all --number-of-solutions=all
 Using cached models.
-Savile Row: model000001.eprime
+Savile Row: conjure-output/model000001.eprime
 Running minion for domain filtering.
 Running solver: nbc_minisat_all
 Copying solution to: test-000001.solution
@@ -124,7 +124,7 @@ open-wbo
 Generating models for testo.essence
 Generated models: model000001.eprime
 Saved under: conjure-output
-Savile Row: model000001.eprime
+Savile Row: conjure-output/model000001.eprime
 Running minion for domain filtering.
 Running solver: open-wbo
 Copying solution to: testo.solution
@@ -135,7 +135,7 @@ boolector
 Generating models for test.essence
 Generated models: model000001.eprime
 Saved under: conjure-output
-Savile Row: model000001.eprime
+Savile Row: conjure-output/model000001.eprime
 Running minion for domain filtering.
 Running solver: boolector
 Copying solution to: test.solution
@@ -144,7 +144,7 @@ Copying solution to: test.solution
 ========================================
 boolector-bv
 Using cached models.
-Savile Row: model000001.eprime
+Savile Row: conjure-output/model000001.eprime
 Running minion for domain filtering.
 Running solver: boolector-bv
 Copying solution to: test.solution
@@ -153,7 +153,7 @@ Copying solution to: test.solution
 ========================================
 yices
 Using cached models.
-Savile Row: model000001.eprime
+Savile Row: conjure-output/model000001.eprime
 Running minion for domain filtering.
 Running solver: yices
 Copying solution to: test.solution
@@ -162,7 +162,7 @@ Copying solution to: test.solution
 ========================================
 yices-bv
 Using cached models.
-Savile Row: model000001.eprime
+Savile Row: conjure-output/model000001.eprime
 Running minion for domain filtering.
 Running solver: yices-bv
 Copying solution to: test.solution
@@ -171,7 +171,7 @@ Copying solution to: test.solution
 ========================================
 yices-lia
 Using cached models.
-Savile Row: model000001.eprime
+Savile Row: conjure-output/model000001.eprime
 Running minion for domain filtering.
 Running solver: yices-lia
 Copying solution to: test.solution
@@ -180,7 +180,7 @@ Copying solution to: test.solution
 ========================================
 yices-idl
 Using cached models.
-Savile Row: model000001.eprime
+Savile Row: conjure-output/model000001.eprime
 Running minion for domain filtering.
 Running solver: yices-idl
 Copying solution to: test.solution
@@ -189,7 +189,7 @@ Copying solution to: test.solution
 ========================================
 z3
 Using cached models.
-Savile Row: model000001.eprime
+Savile Row: conjure-output/model000001.eprime
 Running minion for domain filtering.
 Running solver: z3
 Copying solution to: test.solution
@@ -198,7 +198,7 @@ Copying solution to: test.solution
 ========================================
 z3-bv
 Using cached models.
-Savile Row: model000001.eprime
+Savile Row: conjure-output/model000001.eprime
 Running minion for domain filtering.
 Running solver: z3-bv
 Copying solution to: test.solution
@@ -207,7 +207,7 @@ Copying solution to: test.solution
 ========================================
 z3-lia
 Using cached models.
-Savile Row: model000001.eprime
+Savile Row: conjure-output/model000001.eprime
 Running minion for domain filtering.
 Running solver: z3-lia
 Copying solution to: test.solution
@@ -216,7 +216,7 @@ Copying solution to: test.solution
 ========================================
 z3-nia
 Using cached models.
-Savile Row: model000001.eprime
+Savile Row: conjure-output/model000001.eprime
 Running minion for domain filtering.
 Running solver: z3-nia
 Copying solution to: test.solution
@@ -225,7 +225,7 @@ Copying solution to: test.solution
 ========================================
 z3-idl
 Using cached models.
-Savile Row: model000001.eprime
+Savile Row: conjure-output/model000001.eprime
 Running minion for domain filtering.
 Running solver: z3-idl
 No solutions found.