• Alexandre Duret-Lutz's avatar
    [buddy] Fix a harmless uninitialized read. · 1244b617
    Alexandre Duret-Lutz authored
    This can only cause failure when running under valgrind (i.e., in the
    test suite), but is not a problem in practice as the test is certain
    to fail the entry->c check whenever entry->b is uninitialized.
    
    * src/bddop.c (bdd_implies): Here.
    1244b617