removing the /noinfer flag

Coordinator
Sep 20, 2014 at 12:06 AM
I would like to delete the /noinfer flag to Boogie so that AbstractInterpretation is turned off by default. There is already a flag /infer: that can be used to turn it on. Does anybody have any objections?