public PrtContinuation() { reason = PrtContinuationReason.Return; retVal = PrtValue.@null; nondet = false; retLocals = new List <PrtValue>(); }
public PrtContinuation() { reason = PrtContinuationReason.Return; createdMachine = null; retVal = null; nondet = false; retLocals = new List <PrtValue>(); receiveIndex = -1; }