-
Notifications
You must be signed in to change notification settings - Fork 7
Install
JDK 7 is required.
======================================================================
Build:
Import the project into eclipse.
If it does not build automatically, right-click on the build.xml \ run as \ Ant BUild The build process has to be run with JDK 7, JRE will not work.
======================================================================
Configuration:
====================================================================== define global options with site.properties @ ../home/.jpf/site.properties content:
jpf-core=C:/Users/Loaner/workspace/jpf-core-vai (path to the project) tc-home=${jpf-core}/lib native_classpath = ${tc-home}/featureexprlib_2.10-0.3.4.jar;${tc-home}/scala-library-2.10.3.jar;${tc-home}/org.sat4j.core-2.3.1.jar
Details on the concepts and designs of VarexJ can be found in this Master's thesis:
VarexJ: A Variability-Aware Interpreter for Java Applications