bdd_forall broken?
Hi. I've been chasing down the reason for some flaky tests in acacia-bonsai. I finally observed a strange result of a bdd_forall
operation in which the result was off. I have replaced all occurrences of universal quantification with negated existential quantification and now my tests (seem to) pass.
I know it's a bit convoluted, but one way to reproduce this is to checkout this commit of acacia-bonsai and run the tests:
meson setup build
meson test -C build