public ProgramState PushWithConstraint() { var refEquals = new ReferenceEqualsSymbolicValue(valueLeft, valueRight); var newProgramState = programState.PushValue(refEquals); return(SetConstraint(refEquals, newProgramState)); }
private ProgramState HandleNameofExpression() { // The nameof arguments are not on the stack, we just push the nameof result var nameof = new SymbolicValue(); var newProgramState = programState.PushValue(nameof); return(newProgramState.SetConstraint(nameof, ObjectConstraint.NotNull)); }