When running into the "Error: TLC encountered a non-enumerable quantifier bound" error, I've used the toolbox GUI to specify a specific bound for Nats. However, I can not figure out how to specify the definition override in the .cfg file when running using the TLC model checker from the command line.
I'm assuming this is possible, but I just can't find how to do this in the documentation.
Any advice would be appreciated.
- Chris