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

[tlaplus] Syntax of cfg file

I would like to run TLC from a command line on a linux server. However for that I need to generate a cfg file for the model. Is there documentation on how to author these ? The TLA+ toolbox IDE generates MC.cfg but its cryptic (for example it does not everything I typed into the model UI and it has some generated strings). So I can't infer what the syntax is. Thanks

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/a4426f93-a1d6-4403-bcb9-969174d41218%40googlegroups.com.