search

SymbolicPathFinder / jpf-symbc

Symbolic PathFinder
https://github.com/SymbolicPathFinder/jpf-symbc
124 stars 89 forks source link

throw NoSuchMethodException when INVOKESPECIAL can't find callee #85

Open zhangwen0411 opened 1 year ago

sohah commented 2 months ago

@yannicnoller , this is not a useful change. I think we can close this PR.

yannicnoller commented 2 months ago

@sohah do you think the "!*" is a typo in the original code? From looking at it, I think I agree that we should change it.

sohah commented 1 month ago

@yannicnoller , yeah, sure it's a valid typeo fix, I meant, the PR is not fixing any unsound behavior. But, of course, let's accept this change then.