[Spot] Time to decide inclusion
pierre.ganty at imdea.org
Fri Jul 30 16:56:10 CEST 2021
Dear Spot devs,
I want to measure how much time it takes Spot to decide whether the
language of the automaton A is contained in that of B.
I've been using the following command
autfilt '--stats=%r, %R' A.hoa --included-in=B.hoa
I think I am not interpreting the results correctly because `--stats`
reports very small numbers
while adding `time` in front of the command reports much much larger
numbers (several orders of magnitude larger).
What's the right way to measure the time it takes Spot to decide the
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Spot