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

[tlaplus] Re: Confusion on document about definition override

You are free to write the cfg file manually. This feature is only available to those using the toolbox.

On Monday, August 12, 2019 at 8:42:01 PM UTC-7, Shiyao MA wrote:
Thanks for your reply.

I would rather manually write in the cfg file with:
NoValue = NoValue

Relying on the toolbox for that trick seems some extra redundant work.

On Tuesday, 13 August 2019 11:03:55 UTC+8, Andrew Helwer wrote:
Since it would be annoying to manually perform this definition override in every new model, the toolbox detects definitions of this type and automatically adds a definition override for these null values.

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/ea41bd06-89da-4672-9dd4-8112985dc8c4%40googlegroups.com.