forked from CROSSINGTUD/SPDS
-
Notifications
You must be signed in to change notification settings - Fork 12
Open
Description
According to README Examples, I have tried to run a IDEal example inference.example.Main, but it crashed, and the output was:
java.lang.ClassCastException: boomerang.scene.jimple.JimpleVal cannot be cast to boomerang.scene.AllocVal
at boomerang.WeightedBoomerang.forwardSolve(WeightedBoomerang.java:1176)
...here
| var = ((AllocVal) query.var()).getDelegate(); |
I changed it to
var = query.var();and there is no the crash.
struce2
Metadata
Metadata
Assignees
Labels
No labels