Deprecate /checked- command line argumen

Feb 2, 2010 at 5:23 AM

We are currently preparing for the syntax refresh. For this purpose, I am cleaning up the parser. I have come across the /checked command line argument, which allows to switch from the default checked semantic for arithmetic expressions to unchecked. Is anybody using this option? I would like to deprecate it to make the parsing process more uniform.


Feb 2, 2010 at 12:30 PM

We where discussing yesterday (with Ernie + Mark) whether switches of this kind might be useful to decrease turnaround times when doing "interactive" verification of large / complicated functions

however, we have no evidence that this particular switch saves relevant amounts of time