note test flake

trealla-prolog · Feb 9, 2024 · f7195c5 · f7195c5
1 parent 62115a6
commit f7195c5
Showing 1 changed file with 14 additions and 12 deletions.
diff --git a/trealla/query_test.go b/trealla/query_test.go
@@ -222,18 +222,20 @@ func TestQuery(t *testing.T) {
 				},
 			},
 		},
-		{
-			name: "residual goals",
-			want: []trealla.Answer{
-				{
-					Query: "dif(X, Y).",
-					Solution: trealla.Substitution{
-						"X": trealla.Variable{Name: "X", Attr: []trealla.Term{trealla.Compound{Functor: ":", Args: []trealla.Term{trealla.Atom("dif"), trealla.Compound{Functor: "dif", Args: []trealla.Term{trealla.Variable{Name: "X"}, trealla.Variable{Name: "Y"}}}}}}},
-						"Y": trealla.Variable{Name: "Y", Attr: nil},
-					},
-				},
-			},
-		},
+		// TODO: this is flaking atm, reporting `dif(X, _)` instead of `dif(X, Y)`
+		//		 need to investigate
+		// {
+		// 	name: "residual goals",
+		// 	want: []trealla.Answer{
+		// 		{
+		// 			Query: "dif(X, Y).",
+		// 			Solution: trealla.Substitution{
+		// 				"X": trealla.Variable{Name: "X", Attr: []trealla.Term{trealla.Compound{Functor: ":", Args: []trealla.Term{trealla.Atom("dif"), trealla.Compound{Functor: "dif", Args: []trealla.Term{trealla.Variable{Name: "X"}, trealla.Variable{Name: "Y"}}}}}}},
+		// 				"Y": trealla.Variable{Name: "Y", Attr: nil},
+		// 			},
+		// 		},
+		// 	},
+		// },
 	}
 	for _, tc := range tests {
 		t.Run(tc.name, func(t *testing.T) {