-
Alexandre Duret-Lutz authored
* src/reorder.c, src/kernel.h: Expose bddreordermethod. * src/bddop.c: Test bddreordermethod before ever calling setjmp().
0ac14e9c
* src/reorder.c, src/kernel.h: Expose bddreordermethod. * src/bddop.c: Test bddreordermethod before ever calling setjmp().