test_8.data 443 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, abstract inclusion test
./tiamo reach tests/als.xml -cora -order BFS -incl sri

Input automaton parsed, computing LU bounds
Took 0 seconds to compute LU bounds
we have explored 5000 states, 3000 in the waiting list
discrete states:	1736
states seen:		15918
states explored:	9722
max size of storage:	10087
incl tests:		433035
pos. incl tests:	47330
Result of verification is Reachable!
Path is