search

SymbolicPathFinder / jpf-symbc

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

README jpf-core download link not working #59

Closed nkrishnasatvik closed 3 years ago

nkrishnasatvik commented 3 years ago

I tried to download jpf-core through link https://github.com/yannicnoller/jpf-core/tree/0f2f2901cd0ae9833145c38fee57be03da90a64f given under Getting Started in the README file. But it doesn't seem to work.

Also, why is this repository not used in place of the current one?

My name is Krishna. I'm new to open source contributions. I wanted to contribute for a project under the JPF organization for GSOC'21.

So, please guide me and correct me if I make any mistakes along the way.

Thank you!

corinus commented 3 years ago

Hi The link is still working: https://github.com/yannicnoller/jpf-core/tree/0f2f2901cd0ae9833145c38fee57be03da90a64f Can you please try. Current SPF works with thsi older version of jpf-core. Thanks.

nkrishnasatvik commented 3 years ago

Yes it's working now. I don't know what issue I was facing earlier.

Thanks @corinus!