diff --git a/test/reazon-test-interface.el b/test/reazon-test-interface.el index 594760a..5c7b53f 100644 --- 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