FAIL dnf by serialization out and in
FAIL in (t-dnf) (bdd_test.clj:242)
dnf by serialization out and in
failed: serialized-1 <: serialized-2, dnf serialization failed on #<Bdd Long #<Bdd not (member 0 2 4 6)> #<Bdd (= 0) true #<Bdd Character #<Bdd Double #<Bdd not (member 0 2 4 6)> #<Bdd (member 1 2) true #<Bdd (member 0 2 4 6) #<Bdd not String> true>>> true>>>, (or (and (not Long) (not Character)) Character (and Long (not (member 0 2 4 6)))) != (not Long)
expected: (bdd/type-subtype? serialized-1 serialized-2)
actual: (not (bdd/type-subtype? (or (and (not Long) (not Character)) Character (and Long (not (member 0 2 4 6)))) (not Long)))
Edited by Jim Newton