test_7.data 458 Bytes
Newer Older
Maximilien Colange's avatar
Maximilien Colange committed
1 2 3 4 5 6 7 8 9 10 11 12 13 14
Aicraft Landing System model, reachability, BFS, simple inclusion test
./tiamo reach tests/als.xml -cora -order BFS -incl simple

Input automaton parsed, computing LU bounds
Took 0 seconds to compute LU bounds
we have explored 285000 states, 10152 in the waiting listt
discrete states:	1736
states seen:		376461
states explored:	285190
max size of storage:	317837
incl tests:		1208691736
pos. incl tests:	1215266
Result of verification is Reachable!
Path is