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

[tlaplus] List all the success and failure paths

When a model checker is run with the tla+ toolbox, it lists the number of states explored, and if anything failed and shows one such failure.
I am curious if there's a way to list all the generated state transitions along with their statuses?

I understand, the design still has bugs if it fails for one case, but it would be nice to know which all cases it succeeded.

Is there a way to get this, either in the toolbox or in the command line?


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/CA%2Bt%3DSiKp13PicHKFGmbzZcH6Xg4XNvMsgYJiFM6%3Da5nTqXSs%3Dw%40mail.gmail.com.