Commit f52355efdeb800bec760166a87fe2aaa294d9a69

Thomas de Grivel 2022-11-10T19:44:14

facts_with_test

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
diff --git a/test/facts_with_test.c b/test/facts_with_test.c
index bded6a7..398bd23 100644
--- a/test/facts_with_test.c
+++ b/test/facts_with_test.c
@@ -113,10 +113,6 @@ void facts_with_test_ ()
   TAG_TEST_EQ(predicate.data.var, tag + 1);
   TAG_TEST_EQ(object.data.var, tag + 2);
   TEST_ASSERT(facts_with_cursor_next(&cursor));
-  TAG_TEST_EQ(subject.data.var, tag);
-  TAG_TEST_EQ(predicate.data.var, tag + 1);
-  TAG_TEST_EQ(object.data.var, tag + 3);
-  TEST_ASSERT(facts_with_cursor_next(&cursor));
   TAG_TEST_EQ(subject.data.var, tag + 5);
   TAG_TEST_EQ(predicate.data.var, tag + 1);
   TAG_TEST_EQ(object.data.var, tag + 2);