• Philipp Schlehuber's avatar
    Correct bug in zielonka · add2fced
    Philipp Schlehuber authored and Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz committed
    Optimization in Zielonka failed
    under certain circumstances
    todo: Devise a specialized test
    for direct attr computation
    
    * spot/twaalgos/game.cc: Correction
    * tests/python/game.py: Test
    add2fced