daily pastebin goal
1%
SHARE
TWEET

Untitled

a guest Sep 14th, 2018 59 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. #!/bin/bash
  2. set -x
  3.  
  4. #
  5. # Script to run jaguar on defects4j Mockito
  6. #
  7.  
  8. CP="$(defects4j export -p cp.test)"
  9. PROJECT_DIR="."
  10. CLASSES_DIR="/build/classes/main/"
  11. TESTS_DIR="/build/classes/test/"
  12. JAGUAR_JAR="br.usp.each.saeg.jaguar.core-1.0.0-jar-with-dependencies.jar"
  13. JAGUAR_MAIN_CLASS="br.usp.each.saeg.jaguar.core.cli.JaguarRunner"
  14. JACOCO_JAR="jacocoagent.jar"
  15. HEURISTIC="Ochiai"
  16. LOG_LEVEL="DEBUG" # ALL / TRACE / DEBUG / INFO / WARN / ERROR
  17.  
  18. # DATA-FLOW
  19.  
  20. java -javaagent:$JACOCO_JAR=output=tcpserver,dataflow=true -cp .:$CP:$JAGUAR_JAR:$JACOCO_JAR \
  21.     $JAGUAR_MAIN_CLASS \
  22.         --dataflow \
  23.         --heuristic "$HEURISTIC" \
  24.         --outputType H \
  25.         --output "data-flow" \
  26.         --logLevel "$LOG_LEVEL" \
  27.         --projectDir "$PROJECT_DIR" \
  28.         --classesDir "$CLASSES_DIR" \
  29.         --testsDir "$TESTS_DIR" \
  30.         --testSuite "$TEST_SUITE"
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
 
Top