add test69.xnf, test70.xnf

j-danner · Aug 14, 2024 · 1681381 · 1681381
1 parent 4bc810b
commit 1681381
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/tests/2xnfs/test69.xnf b/tests/2xnfs/test69.xnf
@@ -0,0 +1,3 @@
+p xnf 1 1
+1+1 0
+c UNSAT
diff --git a/tests/2xnfs/test70.xnf b/tests/2xnfs/test70.xnf
@@ -0,0 +1,3 @@
+p xnf 1 1
+-1+1 0
+c SAT