[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[tlaplus] Is this a (hidden) variable that tells me the state the model checker is in?

... to do something like,

print << __state_num__, msgQueue >>; (* perhaps state_num is hash on current state *)

to help disambiguate msgQueue in different states which have the same valu?

You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/da07b1ce-41d4-4c7b-b0cb-9c2e6eadfff9n%40googlegroups.com.