Skip to content
Snippets Groups Projects
Commit a3b17c7e authored by Jan Trávníček's avatar Jan Trávníček
Browse files

fix segfault and FA -> RE -> FA (algeb, thomps)

parent 8da9d69f
No related branches found
No related tags found
No related merge requests found
......@@ -141,7 +141,7 @@ std::set<automaton::State> AutomatonPropertiesFSM::epsilonClosure( automaton::Ep
queue.push( q );
while( ! queue.empty( ) )
{
const automaton::State & p = queue.front( );
automaton::State p = queue.front( );
queue.pop( );
visited[ p ] = true;
closure.insert( p );
......
......@@ -165,7 +165,7 @@ function runTest {
# FA -> RE -> FA
# covers: FA -> RE (Brzozowski algebraic, elimination), RE -> FA (Brzozowski derivation, Thompson, Glushkov)
# runTest "./aconversion -t RE -a algebraic | ./aconversion -t FA -a brzozowski"
# runTest "./aconversion -t RE -a algebraic | ./aconversion -t FA -a thompson"
runTest "./aconversions2 -t RE -a algebraic | ./aconversions2 -t FA -a thompson"
runTest "./aconversions2 -t RE -a algebraic | ./aconversions2 -t FA -a glushkov "
#runTest "./aconversion -t RE -a elimination | ./aconversion -t FA -a brzozowski"
#runTest "./aconversion -t RE -a elimination | ./aconversion -t FA -a thompson"
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment