#!/bin/bash
set -x

#
# Script to run jaguar on defects4j Mockito
#

CP="$(defects4j export -p cp.test)"
PROJECT_DIR="."
CLASSES_DIR="/build/classes/main/"
TESTS_DIR="/build/classes/test/"
JAGUAR_JAR="br.usp.each.saeg.jaguar.core-1.0.0-jar-with-dependencies.jar"
JAGUAR_MAIN_CLASS="br.usp.each.saeg.jaguar.core.cli.JaguarRunner"
JACOCO_JAR="jacocoagent.jar"
HEURISTIC="Ochiai"
LOG_LEVEL="DEBUG" # ALL / TRACE / DEBUG / INFO / WARN / ERROR

# DATA-FLOW

java -javaagent:$JACOCO_JAR=output=tcpserver,dataflow=true -cp .:$CP:$JAGUAR_JAR:$JACOCO_JAR \
	$JAGUAR_MAIN_CLASS \
		--dataflow \
		--heuristic "$HEURISTIC" \
		--outputType H \
		--output "data-flow" \
		--logLevel "$LOG_LEVEL" \
		--projectDir "$PROJECT_DIR" \
		--classesDir "$CLASSES_DIR" \
		--testsDir "$TESTS_DIR" \
		--testSuite "$TEST_SUITE"