diff options
| author |  Unknown <akashl@akash-desk.fareast.corp.microsoft.com> | 2012-07-04 14:51:29 +0530 |
|---|---|---|
| committer | Unknown <akashl@akash-desk.fareast.corp.microsoft.com> | 2012-07-04 14:51:29 +0530 |
| commit | fd1ed2e958a2af3606969c7111387f5236a70bd7 (patch) | |
| tree | 1dd0fe962608d52056783124f20ca9c711216421 /Source/Provers/SMTLib | |
| parent | 17bb3df3ed05cb1687008f5741e3be6fc71d0266 (diff) | |
Made error trace generation (without labels) more general for stratified
inlining
Diffstat (limited to 'Source/Provers/SMTLib')
| -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 31afbdfa..8c6ad875 100644 --- a/Source/Provers/SMTLib/ProverInterface.cs +++ b/Source/Provers/SMTLib/ProverInterface.cs @@ -425,7 +425,7 @@ namespace Microsoft.Boogie.SMTLib xlabels = labels.Select(a => a.Replace("@", "").Replace("+", "")).ToList();
}
else {
- labels = CalculatePath(0);
+ labels = CalculatePath(handler.StartingProcId());
xlabels = labels;
}
Model model = GetErrorModel();
|