search

SymbolicPathFinder / jpf-symbc

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

Option symbolic.lazy.subtypes not working for the examples in doublyNested and lazyInit/paramAndPoly #56

Open unshorn opened 3 years ago

unshorn commented 3 years ago

Is the option symbolic.lazy.subtypes no longer supported? The examples in doublyNested don't work, and the code for the ALOAD instruction suggest they don't. Has this feature been dropped?

tusharrai2017 commented 3 years ago

What is the error you are getting ? Since the example in doublyNested is working fine for me.

unshorn commented 3 years ago

What is the error you are getting ? Since the example in doublyNested is working fine for me.

By working do you mean it reaches all three System.out.println calls?