• Alexandre Duret-Lutz's avatar
    [buddy] · 61d9e721
    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
kernel.h 8.07 KB