search

rgrig / topl

TOPL Runtime Verifier
5 stars 1 forks source link

tests longarg and self fail with java.lang.VerifyError #46

Closed rgrig closed 7 years ago

rgrig commented 7 years ago

This was fixed by a commit in barista: https://github.com/rgrig/barista/commit/1301b539b16665a0217d2b25b151f1e6c3719406