Closed HongshuW closed 6 months ago
Given a primitive constant c that is automatically wrapped into a composite object C by Java compiler, record C as a written variable at the current step.
Given a primitive constant c that is automatically wrapped into a composite object C by Java compiler, record C as a written variable at the current step.