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

[tlaplus] Version control for models?

I'm working on a model, keeping the .tla files in version control but I'm wondering what to do about the model configurations. I see that they're available under a X.toolbox/ directory. Should I just add Module.toolbox/ModelName/ to my version control and ignore all the snapshot directories? 

I hesitate to use the term "Best Practice", so I'll settle for "Good Practice"

Thanks all

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/9a45a15a-9e1a-480d-875b-e9080df2fbfcn%40googlegroups.com.