[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
States Found vs Distinct States
- From: Jaak Ristioja <jaak.r...@xxxxxxxx>
- Date: Thu, 8 Oct 2015 14:43:49 +0300
- User-agent: curl/7.42.1
Hi!
TLC progress report messages contains the number of states generated and
the number of distinct states found. Have I correctly assumed that the
latter to signifies the size of the set of different values-to-VARIABLES
assignments that TLC has encountered this far. But what exactly does the
value of "generated states" count and what is this value useful for?
Best Regards,
Jaak Ristioja