package does not exist error

[Gaurang Kudale]

Hi there,

I'm working on Gradle build support and so far I'm able to compile annotations 

'jpf-symbc\src\annotations\gov\nasa\jpf\symbc' but while compiling the 'C:\Users\gaura\jpf\jpf-symbc\src\classes\gov\nasa\jpf\symbc\Debug.java' I'm getting the errors, I've attached the screenshots for your reference and I did some research on it but was not able to solve it yet but I'll work on this 

If you have any suggestions/reviews please let me know 

Thanks in Advance

[fra...@cs.yorku.ca]

gov.nasa.jpf.vm.Verify is part of jpf-core (see https://github.com/javapathfinder/jpf-core/blob/master/src/main/gov/nasa/jpf/vm/Verify.java).

[Gaurang Kudale]

I'm working on Gradle support to the JPF-SPF  but the thing is gov.nasa.jpf.vm is used in "jpf-symbc\src\classes\gov\nasa\jpf\symbc\Debug.java"

 how to call the gov.nasa.jpf.vm in SPF or how to resolve this issue

[Gaurang Kudale]

Please let me know if anyone knows how to solve this issue