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