Error building project - Githubissues

pietrobraione / jbse

A symbolic Java virtual machine for program analysis, verification and test generation

http://pietrobraione.github.io/jbse/

GNU General Public License v3.0

102 stars 29 forks source link

Error building project #18

Closed unshorn closed 5 years ago

unshorn commented 5 years ago

I'm experiencing an error building the project. There is a class cast error and class file version (for the files in test/resources) errors while running the tests. I'm building with Oracle's JDK 1.8.

pietrobraione commented 5 years ago

Hi, sorry for the late answer. What branch did you check out?

pietrobraione commented 5 years ago

I also experienced some glitches in running the tests when the project is loaded in Eclipse. Please try these steps:

do mvn clean eclipse:clean compile eclipse:eclipse (either from console or from an Eclipse Maven launch config)
refresh the Eclipse project
now try mvn test

unshorn commented 5 years ago

I'm sorry I missed your reply. I was trying to run the tests on the command line on the master branch. Re-cloned the repo and it works now. Thank you.