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

Added initial Ant build file #3

Closed andreamattavelli closed 7 years ago

andreamattavelli commented 7 years ago

Added initial version of an Ant buildfile to compile JBSE outside of Eclipse. It currently lacks of JUnit testing features.