diff options
| author |  wuestholz <unknown> | 2013-06-07 11:00:18 -0700 |
|---|---|---|
| committer | wuestholz <unknown> | 2013-06-07 11:00:18 -0700 |
| commit | 3f6df4a72d8b59183f6a4b8b8b3b055d911937fa (patch) | |
| tree | 7fff6031cf331f4b7e2b226805edc90acc27e9e1 /Source | |
| parent | 0ed4ba928d57bf1f067c66d390ba1c147ef618f4 (diff) | |
Fixed an issue in the prover interface.
Diffstat (limited to 'Source')
| -rw-r--r-- | Source/Provers/SMTLib/ProverInterface.cs | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/Source/Provers/SMTLib/ProverInterface.cs b/Source/Provers/SMTLib/ProverInterface.cs index de9be1b9..8f6c4503 100644 --- a/Source/Provers/SMTLib/ProverInterface.cs +++ b/Source/Provers/SMTLib/ProverInterface.cs @@ -780,7 +780,14 @@ namespace Microsoft.Boogie.SMTLib IList<string> xlabels;
if (CommandLineOptions.Clo.UseLabels) {
labels = GetLabelsInfo();
- xlabels = labels.Select(a => a.Replace("@", "").Replace("+", "")).ToList();
+ if (labels == null)
+ {
+ xlabels = new string[] { };
+ }
+ else
+ {
+ xlabels = labels.Select(a => a.Replace("@", "").Replace("+", "")).ToList();
+ }
}
else {
labels = CalculatePath(handler.StartingProcId());
|