[tlaplus] TLC Development

[Miguel Frutos <m.frutos@xxxxxxxxx>]

Hello,

I was trying to have a look at the source code of TLC to understand a bit more about the inner part of the model checking, but found it a bit overwhelming.

Is there any guide with how to configure the development environment, and how the code is structured?

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/23f4912b-a5d6-4991-bc03-8f9202a60fd7n%40googlegroups.com.