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

Re: [tlaplus] Version control for models?

On 04.01.21 08:00, steve....@xxxxxxxxxx wrote:
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"


for git I use this: https://github.com/github/gitignore/pull/3613


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/9ede70a3-8726-88e9-1168-c6ebfff66dcd%40lemmster.de.