2022-03-01T18:12:59ZFluxBBhttp://spinroot.com/fluxbb/viewtopic.php?id=1684proctypes and never claims are converted into omega-automata, which have numbered states...]]>http://spinroot.com/fluxbb/profile.php?id=22022-03-01T18:12:59Zhttp://spinroot.com/fluxbb/viewtopic.php?pid=3676#p3676I wonder what are state numbers? The traces printed by Spin have a column for state numbers. Are they meant mainly for Spin developers or are they useful to the user?]]>http://spinroot.com/fluxbb/profile.php?id=102232021-12-10T19:59:52Zhttp://spinroot.com/fluxbb/viewtopic.php?pid=3667#p3667