diff options
| author |  qadeer <qadeer@microsoft.com> | 2012-04-28 17:11:48 -0700 |
|---|---|---|
| committer | qadeer <qadeer@microsoft.com> | 2012-04-28 17:11:48 -0700 |
| commit | 53877d7a90e870d6d95d08dfd86209e315101e09 (patch) | |
| tree | 6e0e5a1ff42679a3c9cb3a551f6bbd98f0989267 /Source/Provers | |
| parent | 5e0123996f7a79ea7d3576ef120b4c2cb2417a71 (diff) | |
removed proccopybounding code
stratified inliinig is now run always with /doNotUseLabels
Diffstat (limited to 'Source/Provers')
| -rw-r--r-- | Source/Provers/SMTLib/ProverInterface.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Provers/SMTLib/ProverInterface.cs b/Source/Provers/SMTLib/ProverInterface.cs index 014af458..48791385 100644 --- a/Source/Provers/SMTLib/ProverInterface.cs +++ b/Source/Provers/SMTLib/ProverInterface.cs @@ -85,7 +85,7 @@ namespace Microsoft.Boogie.SMTLib {
currentLogFile = OpenOutputFile("");
}
- if (CommandLineOptions.Clo.ProcedureCopyBound > 0 || CommandLineOptions.Clo.ContractInfer)
+ if (CommandLineOptions.Clo.ContractInfer)
{
SendThisVC("(set-option :produce-unsat-cores true)");
this.usingUnsatCore = true;
|