fix for operator< on reverse_keyt in miniBDD, fixing segfault in ebmc#1062

Merged

kroening merged 3 commits intomasterfrom

fix_for_miniBDD

Aug 4, 2017

Commits on Aug 3, 2017

fix for operator< on reverse_keyt in miniBDD, fixing segfault in ebmc
Daniel Kroening
committed
invariant_violated does not return
Daniel Kroening
committed
test for miniBDD
Daniel Kroening
committed