Philipp Schlehuber authored Mar 29, 2022 and Alexandre Duret-Lutz committed May 02, 2022

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