Add failing test case for conda bug (issue #9)

nickdrozd · Dec 29, 2021 · f31c8b2 · f31c8b2
1 parent da3c4a8
commit f31c8b2
Showing 1 changed file with 17 additions and 0 deletions.
diff --git a/test/reazon-test-interface.el b/test/reazon-test-interface.el
@@ -347,6 +347,23 @@
     (reazon-run* q (reazon-conda))
     (reazon-run* q (reazon-condu))))
 
+(ert-deftest reazon-test-interface-conda-bug ()
+  :expected-result :failed
+  (reazon--should-equal '(a1)
+    (reazon-run* x
+      (reazon-conde
+       ((reazon-== x 'a1))
+       ((reazon-== x 'a2)))
+      (reazon-conda
+       ((reazon-== x 'a2) #'reazon-!U)
+       (#'reazon-!S)))
+    (reazon-run* (x)
+      (reazon-conde
+       ((reazon-== x 'a1))
+       ((reazon-== x 'a2)))
+      (reazon-conda
+       ((reazon-== x 'a2) (reazon-== x 'c))
+       ((reazon-== x x))))))
 
 (provide 'reazon-test-interface)
 ;;; reazon-test-interface.el ends here