How do I disable coverage and cost statistics

tlaplus / vscode-tlaplus

TLA+ language support for Visual Studio Code

MIT License

357 stars 33 forks source link

Open arthurgreef opened 2 years ago

arthurgreef commented 2 years ago

Hi - I get the following message at the end of model checking execution.

"End of statistics (please note that for performance reasons large models are best checked with coverage and cost statistics disabled)"

Can you tell me hw to disable coverage and cost statistics? I added "-coverage 0" to the tla options but I'm not sure if that is enough.

Thanks.

lemmy commented 2 years ago

The extension's nightly build supports turning coverage off (see #172).