/// <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));
}
}
