Is there a way to increase the default timeout in Dafny

Dec 14, 2015 at 9:39 PM
The current default time out is 10 secs in Dafny. In our algorithm proving few invariants dafny is timing out. So I am looking for a way to increase the time-out in Dafny
Developer
Dec 14, 2015 at 10:54 PM
On the command line, you can use /timeLimit:50 to increase the limit to 50 seconds. If you want something more focused (or that will affect the VS plugin), you can annotate your methods in two ways:
method {:timeLimit 50} BigComplicatedMethod(x:int) returns (y:int)
method {:timeLimitMultiplier 5} BigComplicatedMethod(x:int) returns (y:int)
The first one is an absolute measure (it sets the limit to 50 seconds), while the second one is a multiplier on the command-line value (or the default of 10 seconds).