diff options
| author |  wuestholz <unknown> | 2015-01-09 15:20:21 +0100 |
|---|---|---|
| committer | wuestholz <unknown> | 2015-01-09 15:20:21 +0100 |
| commit | c5842b1ea72fb20f7650fd7850566d76a39ffba4 (patch) | |
| tree | f0f687ebdec24a53bc380fbeb360a082d05c8868 /Source/Houdini/AbstractHoudini.cs | |
| parent | 0fad1c4a0580045c012ea0b0aed480d954646bd1 (diff) | |
Made 2 invariants of class 'CommandLineOptions' robust by:
- making fields private
- exposing IEnumerables
- adding methods 'AddProverOption', 'RemoveAllProverOptions', and 'AddZ3Option'
(with help from David Rohr)
Diffstat (limited to 'Source/Houdini/AbstractHoudini.cs')
| -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);
|