Missing case for allPrimesArePositive

kalhauge / jpamb

JPAMB: Java Program Analysis Micro Benchmarks

BSD 3-Clause "New" or "Revised" License

0 stars 13 forks source link

Missing case for allPrimesArePositive #10

Closed Emilostuff closed 2 weeks ago

Emilostuff commented 2 weeks ago

If jpamb.cases.Calls.allPrimesArePositive:(I)V is called with 0, it results in a out of bounds exception, which is unfortunately not listed as a case.

kalhauge commented 2 weeks ago

Nice catch!