pietrobraione / jbse

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

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Error building project

unshorn opened this issue · comments

commented

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.

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

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
commented

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.