search

rgrig / topl

TOPL Runtime Verifier
5 stars 1 forks source link

NullPointerException in evaluating guard #29

Closed rgrig closed 12 years ago

rgrig commented 12 years ago

The problem appears when running dacapo instrumented with examples/dacapo/tomcat.topl at this line: https://github.com/rgrig/topl/blob/29f25d9847faab7da26211ddd4382da99b5a88ea/src/topl/Checker.java#L715