Commit 5921de0286eb985bba73515c810fd33291173918

Thomas de Grivel 2024-10-08T02:20:03

wip asan

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
diff --git a/test/ikc3/facts.kc3 b/test/ikc3/facts.kc3
index 17b87bc..a2e61c1 100644
--- a/test/ikc3/facts.kc3
+++ b/test/ikc3/facts.kc3
@@ -16,3 +16,5 @@ quote Facts.remove_tags(db, 4, 5, 6)
 Facts.remove_tags(db, 4, 5, 6)
 quote Facts.with_tags(db, s = ?, p = ?, o = ?, fn (fact) { puts("#{s} #{p} #{o}") ; :ok })
 Facts.with_tags(db, s = ?, p = ?, o = ?, fn (fact) { puts("#{s} #{p} #{o}") ; :ok })
+quote Facts.delete(db)
+Facts.delete(db)
diff --git a/test/ikc3/facts.out.expected b/test/ikc3/facts.out.expected
index fc36fdc..547d5e0 100644
--- a/test/ikc3/facts.out.expected
+++ b/test/ikc3/facts.out.expected
@@ -26,3 +26,5 @@ Facts.with_tags(db, s = ?, p = ?, o = ?, fn (fact) { puts("#{s} #{p} #{o}") ; :o
 1 2 3
 7 8 9
 :ok
+Facts.delete(db)
+void