[tlaplus] Version control for models?

["steve....@xxxxxxxxxx" <steve.freeman@xxxxxxxxxx>]

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

S

-- 
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.