[tlaplus] dumping to JSON and not dot files

["migu...@xxxxxxxxxxxxxxxx" <miguelraz@xxxxxxxxxxxxxxxx>]

I am looking to use TLA+ to generate test cases for another programming language, Julia.

I have read the following:

https://github.com/tlaplus/tlaplus/issues/367

1. Does TLC have to process the entire model for it to generate the dump file of the entire state space?

2. Is there a way to dump TLC  trace into JSON format? It would significantly ease the parsing of the dump file and open up that tooling for many other languages.

-- 
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/78baa6d6-0084-4cce-9bae-aaa81ba28e8dn%40googlegroups.com.