Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
spot
twaalgos
remfin.cc
Find file
Blame
History
Permalink
remove_fin: apply Rabin conversion before Streett
· 15cc7301
Alexandre Duret-Lutz
authored
Sep 01, 2017
* spot/twaalgos/remfin.cc (remove_fin_impl): Apply the Rabin strategy before the Streett one.
15cc7301