diff options
| author |  Pantazis Deligiannis <pdeligia@me.com> | 2013-09-30 09:59:01 +0100 |
|---|---|---|
| committer | Pantazis Deligiannis <pdeligia@me.com> | 2013-09-30 09:59:01 +0100 |
| commit | 06771adc7acf710f055bfeeedc2c604c75ce945b (patch) | |
| tree | 726cfd8957abcbfffcb3e76f7625bacb1d21a7d2 /Source/VCGeneration/StratifiedVC.cs | |
| parent | 0b4388429f5eb571fce4b1aff508be891ad75b87 (diff) | |
changes to support a configured errorLimit
Diffstat (limited to 'Source/VCGeneration/StratifiedVC.cs')
| -rw-r--r-- | Source/VCGeneration/StratifiedVC.cs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Source/VCGeneration/StratifiedVC.cs b/Source/VCGeneration/StratifiedVC.cs index ceea2477..7d8d749c 100644 --- a/Source/VCGeneration/StratifiedVC.cs +++ b/Source/VCGeneration/StratifiedVC.cs @@ -1073,6 +1073,7 @@ namespace VC { private Outcome CheckVC() {
prover.Check();
ProverInterface.Outcome outcome = prover.CheckOutcomeCore(reporter);
+
return ConditionGeneration.ProverInterfaceOutcomeToConditionGenerationOutcome(outcome);
}
|