further fixes

1 files changed, 9 insertions, 0 deletions

diff --git a/Source/VCGeneration/ConditionGeneration.cs b/Source/VCGeneration/ConditionGeneration.cs
index 56104eb7..4db83be0 100644
--- a/Source/VCGeneration/ConditionGeneration.cs
+++ b/Source/VCGeneration/ConditionGeneration.cs
@@ -20,6 +20,7 @@ namespace Microsoft.Boogie {
   public class CalleeCounterexampleInfo {

     public Counterexample counterexample;

     public List<Model.Element>/*!>!*/ args;

+    public int stateIndex;

 

     [ContractInvariantMethod]

     void ObjectInvariant() {

@@ -28,6 +29,14 @@ namespace Microsoft.Boogie {
     }

 

 

+    public CalleeCounterexampleInfo(Counterexample cex, List<Model.Element/*!>!*/> x, int i) {

+      Contract.Requires(cex != null);

+      Contract.Requires(cce.NonNullElements(x));

+      counterexample = cex;

+      args = x;

+      stateIndex = i;

+    }

+

     public CalleeCounterexampleInfo(Counterexample cex, List<Model.Element/*!>!*/> x) {

       Contract.Requires(cex != null);

       Contract.Requires(cce.NonNullElements(x));