clojure.lang.ExceptionInfo: types given on transitions not exhaustive
[:rte (:and (:* Long) (:not (:* Short)))]
lein test :only clojure-rte.dfa-test/t-acceptance
ERROR in (t-acceptance) (dfa.clj:194)
Uncaught exception, not in assertion.
expected: nil
actual: clojure.lang.ExceptionInfo: types given on transitions not exhaustive ([Long 2]), no case given for
{:lineage ((not Long)), :transitions ([Long 2]), :bdd #<Bdd Long #<Bdd (satisfies pseudo-54629)> false>}
at clojure_rte.dfa$_optimized_transition_function$fn__1525$fn__1621.invoke (dfa.clj:194)
clojure_rte.rte_core$eval2504$fn__2505$consume__2518.invoke (api.clj:113)
clojure.lang.PersistentVector.reduce (PersistentVector.java:343)
clojure.core$reduce.invokeStatic (core.clj:6827)
clojure.core$reduce.invoke (core.clj:6810)
clojure_rte.rte_core$eval2504$fn__2505.invoke (api.clj:115)
clojure.lang.MultiFn.invoke (MultiFn.java:234)
clojure_rte.dfa_test$t_acceptance_test_rte$fn__7312.invoke (dfa_test.clj:202)
clojure_rte.dfa_test$t_acceptance_test_rte.invokeStatic (dfa_test.clj:199)
clojure_rte.dfa_test$t_acceptance_test_rte.invoke (dfa_test.clj:185)
clojure_rte.dfa_test$fn__7391$fn__7392.invoke (dfa_test.clj:226)
clojure_rte.dfa_test$fn__7391.invokeStatic (dfa_test.clj:218)
clojure_rte.dfa_test/fn (dfa_test.clj:217)
clojure.test$test_var$fn__9707.invoke (test.clj:717)