many thanks in advance
]]>BR
]]>I'm new with Spin and the output of ./pan give me this :
State-vector 36 byte, depth reached 3267, errors: 1
14478 states, stored
19167 states, matched
33645 transitions (= stored+matched)
0 atomic steps
hash conflicts: 81 (resolved)
So, I d'ont understand whats are the states stores and matched and what are the differences between them,
Thanks,
]]>