-
Etienne Renault authored
This is an important bug fix. When swarming is activated, some multiplication is performed to find a successor. This multiplication could, eventually, overflow... Using larger types solves the problem. * spot/ltsmin/spins_kripke.hh, spot/ltsmin/spins_kripke.hxx: here.
b156f441