|
| 1 | +normalize(x) = replace(x, "\r\n" => "\n") |
| 2 | + |
1 | 3 | # TODO: move the samples to CP?? Not all solvers will understand all FZN files :/.
|
2 | 4 | @testset "Sanity check for Chuffed" begin
|
3 | 5 | @testset "basic.fzn" begin
|
4 | 6 | out_string = Chuffed.run_chuffed(@__DIR__() * "/assets/basic.fzn")
|
5 |
| - @test out_string == "x = 3;\r\n\r\n----------\r\n" |
| 7 | + @test normalize(out_string) == "x = 3;\n\n----------\n" |
6 | 8 | end
|
7 | 9 |
|
8 | 10 | @testset "one_solution.fzn" begin
|
9 | 11 | out_string = Chuffed.run_chuffed(@__DIR__() * "/assets/one_solution.fzn")
|
10 |
| - @test out_string == "x = 10;\r\n\r\n----------\r\n==========\r\n" |
| 12 | + @test normalize(out_string) == "x = 10;\n\n----------\n==========\n" |
11 | 13 | end
|
12 | 14 |
|
13 | 15 | @testset "several_solutions.fzn" begin
|
14 | 16 | out_string = Chuffed.run_chuffed(["-a", @__DIR__() * "/assets/several_solutions.fzn"])
|
15 |
| - @test out_string == "xs = array1d(1..2, [2, 3]);\r\n\r\n----------\r\nxs = array1d(1..2, [1, 3]);\r\n\r\n----------\r\nxs = array1d(1..2, [1, 2]);\r\n\r\n----------\r\n==========\r\n" |
| 17 | + @test normalize(out_string) == "xs = array1d(1..2, [2, 3]);\n\n----------\nxs = array1d(1..2, [1, 3]);\n\n----------\nxs = array1d(1..2, [1, 2]);\n\n----------\n==========\n" |
16 | 18 | end
|
17 | 19 |
|
18 | 20 | @testset "puzzle.fzn" begin
|
19 | 21 | out_string = Chuffed.run_chuffed(@__DIR__() * "/assets/puzzle.fzn")
|
20 |
| - @test out_string == "x = array2d(1..4, 1..4, [5, 1, 8, 8, 9, 3, 8, 6, 9, 7, 7, 8, 1, 7, 8, 9]);\r\n\r\n----------\r\n" |
| 22 | + @test normalize(out_string) == "x = array2d(1..4, 1..4, [5, 1, 8, 8, 9, 3, 8, 6, 9, 7, 7, 8, 1, 7, 8, 9]);\n\n----------\n" |
21 | 23 | end
|
22 | 24 |
|
23 | 25 | @testset "einstein.fzn" begin
|
24 | 26 | out_string = Chuffed.run_chuffed(@__DIR__() * "/assets/einstein.fzn")
|
25 |
| - @test out_string == "a = array1d(1..5, [5, 4, 3, 1, 2]);\r\nc = array1d(1..5, [3, 4, 5, 1, 2]);\r\nd = array1d(1..5, [2, 4, 3, 5, 1]);\r\nk = array1d(1..5, [3, 1, 2, 5, 4]);\r\ns = array1d(1..5, [3, 5, 2, 1, 4]);\r\n\r\n----------\r\n" |
| 27 | + @test normalize(out_string) == "a = array1d(1..5, [5, 4, 3, 1, 2]);\nc = array1d(1..5, [3, 4, 5, 1, 2]);\nd = array1d(1..5, [2, 4, 3, 5, 1]);\nk = array1d(1..5, [3, 1, 2, 5, 4]);\ns = array1d(1..5, [3, 5, 2, 1, 4]);\n\n----------\n" |
26 | 28 | end
|
27 | 29 | end
|
28 | 30 |
|
0 commit comments