-
* src/tests/safra.cc, src/twaalgos/safra.cc, src/twaalgos/safra.hh, spot/twaalgos/simulation.cc, spot/twaalgos/simulation.hh: Here.
f88154e5
* src/tests/safra.cc, src/twaalgos/safra.cc, src/twaalgos/safra.hh, spot/twaalgos/simulation.cc, spot/twaalgos/simulation.hh: Here.