Fix extract-last-line-of-fuzz-stats input/output

neu-se · Jan 25, 2022 · 121f274 · 121f274
1 parent 5027ec7
commit 121f274
Showing 1 changed file with 7 additions and 5 deletions.
diff --git a/scripts/extract-last-line-of-fuzz-stats.php b/scripts/extract-last-line-of-fuzz-stats.php
@@ -1,4 +1,10 @@
 <?php
+if($argc != 3)
+die("Usage: php extract-coverage.php primaryDataInputDir intermediateDataOutputDir");
+
+$resultDir = $argv[1];
+$outputFile = $argv[2];
+
     $configKnarr = "knarr-z3";
     $benchmarks = [
         "ant" => ["class" => "ant.ProjectBuilderTest", "method" => "testWithGenerator",
@@ -28,7 +34,6 @@ function expandIfNeeded($tgzs, $to){
 	$covCol = -1;
 	$lastCov = 0;
 
-    $resultDir = getenv("FUZZ_OUTPUT");
     if($resultDir == ""){
         die("Please be sure to source scripts/env.sh in this artifact before running this command\n");
     }
@@ -49,8 +54,5 @@ function expandIfNeeded($tgzs, $to){
 			$res .= "$bm,$n,$lastLine\n";
 		}
     }
-    if(!is_dir("/home/icse22ae/confetti-artifact/generated")){
-        mkdir("/home/icse22ae/confetti-artifact/generated");
-    }
-	file_put_contents("/home/icse22ae/confetti-artifact/generated/fuzz_stats.csv",$res);
+	file_put_contents($outputFile,$res);
 ?>