search

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

JBSE Installation #2

Closed pabloloyola closed 8 years ago

pabloloyola commented 8 years ago

Hi, I'm trying to install JBSE. I'm using Ubuntu and Eclipse 3.8.1. I Installed the JavaCC plugin and I got the error reported on the docs. When I try to manually add the paths to the jars, I noticed that the Java CC global options asks me for a path to the javacc jar file and the jtb jar file. I can find the first one inside plugin folder, but the jtb jar file is missing. I know this is not strictly a JBSE problem, but can you tell me which version of the javacc plugin you are using (I am using 1.5.32)? Thank you

pietrobraione commented 8 years ago

Hi Pablo. My version of the javacc plugin is also 1.5.32. JBSE doesnt' need jtb to compile, so it is ok if jtb is missing from your setup. Feel free to contact me again if you need support while setting up JBSE. Best, Pietro

pabloloyola commented 8 years ago

Hi, thanks. Which version of Eclipse are you using ?

pietrobraione commented 8 years ago

I always use the latest, currently mars.2.