search

rgrig / topl

TOPL Runtime Verifier
5 stars 1 forks source link

instrumented jython fails on some computers #38

Open rgrig opened 12 years ago

rgrig commented 12 years ago

The jython benchmark from dacapo fails on my computers, but @yoff says it works on his computer. The error is array index out of bounds.

It's likely a Barista bug, but I file it here until topl is ruled out as the culprit.

rgrig commented 12 years ago

A wild guess: https://github.com/rgrig/barista/issues/23