The DOT file contains some information about DFS termination (max depth reached) or the reason why the unfolding of a path can be stopped (e.g. same state encountered, loop invariant detection), number of error "states' (when we cannot compute the next state).
It would be interesting to collect the information in table somewhere to get more insights into the effectiveness of construction.
To do
Add a script to collect the information from the .dot files and a task in the gradle config..
The DOT file contains some information about DFS termination (max depth reached) or the reason why the unfolding of a path can be stopped (e.g. same state encountered, loop invariant detection), number of error "states' (when we cannot compute the next state). It would be interesting to collect the information in table somewhere to get more insights into the effectiveness of construction.
To do
Add a script to collect the information from the
.dot
files and a task in the gradle config..