diff options
| author |  Ally Donaldson <unknown> | 2015-01-13 21:00:43 +0000 |
|---|---|---|
| committer | Ally Donaldson <unknown> | 2015-01-13 21:00:43 +0000 |
| commit | d16fd70f1678b0e3f1683ba0c8b93f21d3d88cc4 (patch) | |
| tree | 7965c0c9c80e09d988359c9513dd9d9705f55038 /Source/Houdini | |
| parent | 7b1b91e940fd8ec7ac60074c843eb08f5715bc91 (diff) | |
| parent | a1d2ad91bb39f7789015dbe9bd7bd7cc610a53e1 (diff) | |
Merge
Diffstat (limited to 'Source/Houdini')
| -rw-r--r-- | Source/Houdini/AbstractHoudini.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Houdini/AbstractHoudini.cs b/Source/Houdini/AbstractHoudini.cs index cc8298b3..b49107a0 100644 --- a/Source/Houdini/AbstractHoudini.cs +++ b/Source/Houdini/AbstractHoudini.cs @@ -2199,7 +2199,7 @@ namespace Microsoft.Boogie.Houdini { this.name2Impl = SimpleUtil.nameImplMapping(program);
if (CommandLineOptions.Clo.ProverKillTime > 0)
- CommandLineOptions.Clo.ProverOptions.Add(string.Format("TIME_LIMIT={0}", CommandLineOptions.Clo.ProverKillTime));
+ CommandLineOptions.Clo.AddProverOption(string.Format("TIME_LIMIT={0}", CommandLineOptions.Clo.ProverKillTime));
this.vcgen = new VCGen(program, CommandLineOptions.Clo.SimplifyLogFilePath, CommandLineOptions.Clo.SimplifyLogFileAppend, new List<Checker>());
this.prover = ProverInterface.CreateProver(program, CommandLineOptions.Clo.SimplifyLogFilePath, CommandLineOptions.Clo.SimplifyLogFileAppend, -1);
|