removing the /noinfer flag

Coordinator
Sep 19, 2014 at 11:06 PM
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?