There are no available Samebug tips for this exception. Do you have an idea how to solve this issue? A short tip would help users who saw this issue last week.

    • java.lang.RuntimeException: couldn't find method <init>([int]) in JayArray_JayArray_int at soot.SootClass.getMethod( at soottocfg.soot.transformers.ArrayTransformer.applyTransformation( at soottocfg.soot.SootToCfg.performAbstractionTransformations( at at jayhorn.Main.safetyAnalysis( at jayhorn.Main.main(
    No Bugmate found.