integration tests vs aql mismatch
If the following is executed inside integration tests:
execute < /home/tomas/zdrojaky/alt/automata-library/examples2/automaton/DFTA_lisp.xml > $fta1
execute $fta1 | automaton::convert::ToRTEStateElimination - > $rte
execute $rte | rte::convert::ToFTAGlushkov - > $fta2
execute automaton::determinize::Determinize $fta1 | automaton::simplify::Trim - | automaton::simplify::Minimize - | automaton::simplify::Normalize - > $m1
execute automaton::determinize::Determinize $fta2 | automaton::simplify::Trim - | automaton::simplify::Minimize - | automaton::simplify::Normalize - > $m2
quit compare::AutomatonCompare $m1 $m2
Then something throws an exception Evaluation of algorithm automaton::convert::ToRTEStateElimination failed.
and the tests fails (testing executable returns -1
as expected)
However, in aql2
executable it works as expected
$ ./aql2/aql2
> execute < /home/tomas/zdrojaky/alt/automata-library/examples2/automaton/DFTA_lisp.xml > $fta1
> execute $fta1 | automaton::convert::ToRTEStateElimination - > $rte
Eliminating state = Int
Eliminating state = List
> execute $rte | rte::convert::ToFTAGlushkov - > $fta2
> execute automaton::determinize::Determinize $fta1 | automaton::simplify::Trim - | automaton::simplify::Minimize - | automaton::simplify::Normalize - > $m1
> execute automaton::determinize::Determinize $fta2 | automaton::simplify::Trim - | automaton::simplify::Minimize - | automaton::simplify::Normalize - > $m2
> execute compare::AutomatonCompare $m1 $m2
1
> execute $fta1 | automaton::convert::ToRTEStateElimination - > $rte
Eliminating state = Int
Eliminating state = List
>
Code is in dev-tp-fta2rte