@@ -68,10 +68,10 @@ public class BenchmarkCrawlerVerification extends BenchmarkCrawler {
68
68
private static boolean isTimingEnabled = false ;
69
69
// private boolean verifyFixed = false; // DEBUG
70
70
private String configurationDirectory = Utils .DATA_DIR ;
71
- private String outputDirectory = Utils .DATA_DIR ;
72
- // private String beforeFixOutputDirectory =
73
- // new File(new File(Utils.DATA_DIR).getParent(), "before_data")
74
- // .getAbsolutePath(); // DEBUG: Utils.DATA_DIR;
71
+ private String defaultOutputDirectory = Utils .DATA_DIR ;
72
+ private String defaultBeforeFixOutputDirectory =
73
+ new File (new File (Utils .DATA_DIR ).getParent (), "before_data" )
74
+ .getAbsolutePath (); // DEBUG: Utils.DATA_DIR;
75
75
private static final String FILENAME_TIMES_ALL = "crawlerTimes.txt" ;
76
76
private static final String FILENAME_TIMES = "crawlerSlowTimes.txt" ;
77
77
private static final String FILENAME_NON_DISCRIMINATORY_LOG = "nonDiscriminatoryTestCases.txt" ;
@@ -97,6 +97,9 @@ public class BenchmarkCrawlerVerification extends BenchmarkCrawler {
97
97
@ Parameter (property = "beforeFixOutputDirectory" )
98
98
private String beforeFixOutputDirectory ;
99
99
100
+ @ Parameter (property = "outputDirectory" )
101
+ private String outputDirectory ;
102
+
100
103
@ Parameter (property = "testCaseName" )
101
104
private String selectedTestCaseName ;
102
105
@@ -681,9 +684,13 @@ protected void processCommandLineArgs(String[] args) {
681
684
682
685
if (line .hasOption ("b" )) {
683
686
beforeFixOutputDirectory = line .getOptionValue ("b" );
687
+ } else {
688
+ beforeFixOutputDirectory = defaultBeforeFixOutputDirectory ;
684
689
}
685
690
if (line .hasOption ("d" )) {
686
691
outputDirectory = line .getOptionValue ("d" );
692
+ } else {
693
+ outputDirectory = defaultOutputDirectory ;
687
694
}
688
695
if (line .hasOption ("f" )) {
689
696
this .crawlerFile = line .getOptionValue ("f" );
@@ -732,6 +739,10 @@ public void execute() throws MojoExecutionException, MojoFailureException {
732
739
List <String > mainArgs = new ArrayList <>();
733
740
mainArgs .add ("-f" );
734
741
mainArgs .add (this .pluginFilenameParam );
742
+ if (this .outputDirectory != null ) {
743
+ mainArgs .add ("-d" );
744
+ mainArgs .add (this .outputDirectory );
745
+ }
735
746
if (this .beforeFixOutputDirectory != null ) {
736
747
mainArgs .add ("-b" );
737
748
mainArgs .add (this .beforeFixOutputDirectory );
0 commit comments