[tlaplus] A cmd tool for TLC

["tangr...@xxxxxxxxx" <tangruize97@xxxxxxxxx>]

Hi,

I developed a simple cmd tool for tlc (https://github.com/tangruize/tlc-cmd). It generates tlc config file from an ini config file (some options resemble the model options in TLA+ Toolbox) and runs tlc in cmd.

Features:

- Support almost all TLC options

- Support batch models

- Make it easy to run distributed mode

- Support convert traces (simulation traces and traces in MC.out) to JSON/Python Object

I hope this tool can help more people, and I hope to get more help to improve this tool.

-- 
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/f691bb5f-5b55-4bc2-9400-50f96ff30ab3n%40googlegroups.com.