[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[tlaplus] SANY debugging mode
- From: Andrew Helwer <andrew.helwer@xxxxxxxxx>
- Date: Thu, 29 Apr 2021 08:55:59 -0700 (PDT)
- Ironport-hdrordr: A9a23:4aeaLK+fD0v+jp9NBKFuk+AmI+orLtY04lQ7vn1ZYxpTb8CeioSKlPMUyRf7hF8qKRQdsPqHP7SNRm6ZyI5t7eAqTNWfdSTvpWfAFuBfxKT4xTmIIUfD38p88YslTKRkEt33CjFB/KXHyS21CcwpztXC0I3Av4nj5kxgRw1rdK1shj0RYm2mO3Z7XQxXQac+faDy2uN8uzGidX4LB/7XOlA5WYH4y+HjqIjrelovCRIh9WC17Q+V1A==
SANY has the -d flag which sends you into a sort of REPL where you can explore the spec's parse tree. In Specifying Systems it says of this option "The documentation that comes with the analyzer explains how to do this" - where is this documentation?
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/e4a714de-0d3b-47b2-b9c6-aceee4ced4b4n%40googlegroups.com.