/// <summary> /// Set evaluation log for use by resolvers /// </summary> /// <param name="log">Evaluation log</param> internal void SetLog(EvaluationLog log) { Log = log; }
private void copyInfoFromInToOutSnapshot(VarLikeConstructUse variable, AssumePoint p, EvaluationLog log) { var variableInfo = log.GetSnapshotEntry(variable); if (variableInfo != null) { var vals = variableInfo.ReadMemory(p.InSnapshot).PossibleValues; variableInfo.WriteMemory(Output, new MemoryEntry(vals)); } }