fix test

giovinazzo-kevin · Feb 23, 2024 · 6ad6125 · 6ad6125
1 parent 84ffeb3
commit 6ad6125
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/XUnitTests/BasicSolverTests.cs b/XUnitTests/BasicSolverTests.cs
@@ -35,7 +35,7 @@ public void ShouldSolveConjunctionsAndDisjunctions(string query, int numSolution
     [InlineData("[a,2,C]", "'[|]'(a,'[|]'(2,'[|]'(C,[])))")]
     [InlineData("[1,2,3|Rest]", "'[|]'(1,'[|]'(2,'[|]'(3,Rest)))")]
     [InlineData("[1,2,3|[a,2,_C]]", "'[|]'(1,'[|]'(2,'[|]'(3,'[|]'(a,'[|]'(2,'[|]'(_C,[]))))))")]
-    [InlineData("{1,1,2,2,3,4}", "'{|}'(1,'{|}'(2,'{|}'(3, 4)))")]
+    [InlineData("{1,1,2,2,3,4}", "'{|}'(1,'{|}'(2,'{|}'(3,'{|}'(4,'{}'))))")]
     [InlineData("test{x:1, y : cool}", "dict(test, {x:1, y:cool})")]
     [InlineData("test{x:1, y : cool}", "test{x:1, y:cool}")]
     #endregion