rgrig / topl

TOPL Runtime Verifier
5 stars 1 forks source link

long values shoud use DUP2, not DUP #28

Closed rgrig closed 12 years ago

rgrig commented 12 years ago

The problem appears when instrumenting methods that return long. All places that use DUP should be reviewed.