[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] dumping to JSON and not dot files
On 09.12.20 07:49, migu...@xxxxxxxxxxxxxxxx wrote:
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.
[1,2] shows a simple trick on how to export TLC error traces to JSON.
This is easy thanks to a contribution by Jordan Halterman to the
CommunityModules [3].
Markus
[1] http://tla.msr-inria.inria.fr/kuppe/TLC-Json.gif
[2]
https://github.com/tlaplus/Examples/blob/master/specifications/ewd840/EWD840_json.tla
[3] https://github.com/tlaplus/CommunityModules/blob/master/modules/Json.tla
--
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/29b1a87d-19c0-15ed-01f3-a9856a15003d%40lemmster.de.