From 121f274bda68c7aadb91b60df68bf7f83fb09327 Mon Sep 17 00:00:00 2001
From: Jonathan Bell <jon@jonbell.net>
Date: Tue, 25 Jan 2022 21:55:44 +0800
Subject: [PATCH] Fix extract-last-line-of-fuzz-stats input/output

---
 scripts/extract-last-line-of-fuzz-stats.php | 12 +++++++-----
 1 file changed, 7 insertions(+), 5 deletions(-)

diff --git a/scripts/extract-last-line-of-fuzz-stats.php b/scripts/extract-last-line-of-fuzz-stats.php
index b1cd055..45a3588 100644
--- 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);
 ?>