diff options
Diffstat (limited to 'Source/Provers/SMTLib/ProverInterface.cs')
| -rw-r--r-- | Source/Provers/SMTLib/ProverInterface.cs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Source/Provers/SMTLib/ProverInterface.cs b/Source/Provers/SMTLib/ProverInterface.cs index 6b8e03d1..a94983e2 100644 --- a/Source/Provers/SMTLib/ProverInterface.cs +++ b/Source/Provers/SMTLib/ProverInterface.cs @@ -1248,7 +1248,10 @@ namespace Microsoft.Boogie.SMTLib xlabels = labels.Select(a => a.Replace("@", "").Replace("+", "")).ToList();
}
}
- else {
+ else if(CommandLineOptions.Clo.SIBoolControlVC) {
+ labels = new string[0];
+ xlabels = labels;
+ } else {
labels = CalculatePath(handler.StartingProcId());
xlabels = labels;
}
|