Ejemplo n.º 1
0
 public void AddCalleeCounterexample(int numBlock, int numInstr, CalleeCounterexampleInfo cex)
 {
     Contract.Requires(cex != null);
     calleeCounterexamples[new TraceLocation(numBlock, numInstr)] = cex;
 }
Ejemplo n.º 2
0
 public void AddCalleeCounterexample(TraceLocation loc, CalleeCounterexampleInfo cex)
 {
     Contract.Requires(cex != null);
     calleeCounterexamples[loc] = cex;
 }