Fix

Author: blegat

test/chuffed.jl

@@ -14,7 +14,9 @@ normalize(x) = replace(x, "\r\n" => "\n")
 
     @testset "one_solution.fzn" begin
         out_string = Chuffed.run_chuffed(@__DIR__() * "/assets/one_solution.fzn")
-        @test normalize(out_string) == "x = 10;\n\n----------\n==========\n"
+        expected = "x = 10;\n\n----------\n==========\n"
+        unk = "% [<UNKNOWN>]\n"
+        @test normalize(out_string) == expected || normalize(out_string) == expected * unk
     end
 
     @testset "several_solutions.fzn" begin