Commit d64b4045 authored by Ala-Eddine Ben-Salem's avatar Ala-Eddine Ben-Salem Committed by Alexandre Duret-Lutz
Browse files

STA: the artificial livelock state becomes the first successor

* src/taalgos/tgba2ta.cc: improves the STA (Single-pass TA) by adding
the  artificial livelock state as the first successor.
parent ed27dab3
......@@ -271,7 +271,7 @@ namespace spot
{
testing_automata->create_transition(source, (*it_conditions),
bddfalse, artificial_livelock_accepting_state);
bddfalse, artificial_livelock_accepting_state,true);
}
}
......
Markdown is supported
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