• Etienne Renault's avatar
    swarming: bug fix · d956fdc3
    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.
    d956fdc3
spins_kripke.hxx 25.1 KB