##Janala2 Gradle Java8
- janala2_tmp
- updated files: build.gradle, concolic.py, setup.sh
- usage, with Java8 installed,
javaandjavac- build janala2 into jar file and copy files
- build janala2_tmp/src/integration/java/tests,
- use python scripts to run the program, to generate inputs for test cases
./setup.shgradle IntegrationTestpython concolic.py 10 tests.homework.error.GetNextPermNumTestDriver##Junit Usage
java -cp auto_rand_testing/sootOutput:./Assign1/Local-Jars/hamcrest-core-1.3.jar:./Assign1/Local-Jars/junit-4.11.jar:auto_rand_testing/sootOutput/classes/ org.junit.runner.JUnitCore util_test.RegressionTest