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