Commit 9489a65b authored by Maximilien Colange's avatar Maximilien Colange
Browse files

ltlsynt: more deterministic behavior

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
parent 653deaa9
......@@ -92,7 +92,7 @@ parity_game::attractor(const region_t& subgame, region_t& set,
unsigned max_parity, int p, bool attr_max) const
{
strategy_t strategy;
std::unordered_set<unsigned> complement = subgame;
std::set<unsigned> complement(subgame.begin(), subgame.end());
for (unsigned s: set)
complement.erase(s);
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment