-
Alexandre Duret-Lutz authored
Remove more sanity checks when NDEBUG is set. * src/kernel.h (CHECKnc): New macro. * src/kernel.c (bdd_var, bdd_low, bdd_high, bdd_ithvar, bdd_nithvar): Use it.
61d9e721
To find the state of this project's repository at the time of any of these versions, check out the tags.