Skip to content

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

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information