Does not compile - Githubissues

star-finder / jpf-costar

Test input generation using separation logic

https://star-finder.github.io/

3 stars 2 forks source link

Does not compile #1

Closed pietrobraione closed 3 years ago

pietrobraione commented 3 years ago

https://github.com/star-finder/jpf-costar/blob/b3f4d4893019a42b6c3f50e4294fd3ab6f2b5f88/src/main/costar/CoStarListener.java#L89

The method starlib.jpf.testsuites.TestGenerator.generateTests() does not exist, at least not in the current version of starlib, and consequently jpf-costar does not compile.

qsphan commented 3 years ago

@pietrobraione , please clone from the artifact branch, it is the stable branch that we used to submit the artifact.