diff options
| author |  wuestholz <unknown> | 2013-07-12 16:29:30 -0700 |
|---|---|---|
| committer | wuestholz <unknown> | 2013-07-12 16:29:30 -0700 |
| commit | fb7ba0533f976442e53a4180a988ac7e2bb5c777 (patch) | |
| tree | 5ac09f7787d16144c5f08c83da2541aaf55f3f72 /Source/VCGeneration | |
| parent | 714a571fee581fca2c46cf7debd9743ca1095eec (diff) | |
Added an attribute to set the time limit for implementations.
Diffstat (limited to 'Source/VCGeneration')
| -rw-r--r-- | Source/VCGeneration/VC.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/VCGeneration/VC.cs b/Source/VCGeneration/VC.cs index 89bcdbfa..80ffa072 100644 --- a/Source/VCGeneration/VC.cs +++ b/Source/VCGeneration/VC.cs @@ -1495,7 +1495,7 @@ namespace VC { {
var timeout = (keep_going && s.LastChance) ? CommandLineOptions.Clo.VcsFinalAssertTimeout :
keep_going ? CommandLineOptions.Clo.VcsKeepGoingTimeout :
- CommandLineOptions.Clo.ProverKillTime;
+ impl.TimeLimit;
var checker = s.parent.FindCheckerFor(timeout, false);
if (checker == null)
|