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

[tlaplus] Re: What are the TLA+ source files in the model folder?

I should add that my newer spec is in a different folder from the old spec, I do this to keep the different versions cleanly seperated

On Tuesday, February 2, 2021 at 7:44:24 PM UTC-8 ns wrote:
I am trying to re-use a model from an older version of a spec that I am developing (because it had all the properties and invariants, paramater values, etc that I needed already set up). When I looked inside the folder for the model I saw copies of all the TLA+ files pertaining to the spec. Why are these duplicated in the model and is it correct to just copy that old model folder and drop it into the new spec? Toolbox doesn't seem to complain and it even happily brings up the model in the new spec, but I do wonder if somehow it might be trying to use those old files


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/4b22ad1b-7246-468b-9357-d3cbea3c046an%40googlegroups.com.