diff options
| author |  wuestholz <unknown> | 2013-07-08 18:33:31 -0700 |
|---|---|---|
| committer | wuestholz <unknown> | 2013-07-08 18:33:31 -0700 |
| commit | 9702f251b89cd4e63ce57879a7101227cea2789a (patch) | |
| tree | 500cc3f5a484f4fed980499dda5be86c25766d28 /Source | |
| parent | 277530c4a3dbdc7f82ba9ce4f628f30172110f91 (diff) | |
Worked on the parallelization.
Diffstat (limited to 'Source')
| -rw-r--r-- | Source/Provers/SMTLib/ProverInterface.cs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Source/Provers/SMTLib/ProverInterface.cs b/Source/Provers/SMTLib/ProverInterface.cs index fa41173b..a1c24fad 100644 --- a/Source/Provers/SMTLib/ProverInterface.cs +++ b/Source/Provers/SMTLib/ProverInterface.cs @@ -1216,6 +1216,8 @@ namespace Microsoft.Boogie.SMTLib {
var name = Z3.SetTimeoutOption();
var value = ms.ToString();
+ options.TimeLimit = ms;
+ options.SmtOptions.RemoveAll(ov => ov.Option == name);
options.AddSmtOption(name, value);
SendThisVC(string.Format("(set-option :{0} {1})", name, value));
}
|