• Maximilien Colange's avatar
    ltlsynt: more deterministic behavior · 9489a65b
    Maximilien Colange authored
    Zielonka algorithm used to iterate over an std::unordered_set, thus
    producing different strategies depending on compiler...
    
    * spot/misc/game.cc: replace std::unordered_set with std::set
    9489a65b