Use test.nix for running test-statistics.sh

Author: ttuegel

nix/shell.performance.nix

@@ -1,5 +1,5 @@
 #!/usr/bin/env nix-shell
-#!nix-shell ../nix/shell.performance.nix -i bash
+#!nix-shell ../test.nix -i bash
 
 old=${1:?}; shift
 new=${1:?}; shift

scripts/join-statistics.sh

@@ -9,7 +9,7 @@ in
 
 let
   inherit (pkgs) stdenv lib;
-  inherit (pkgs) bison diffutils ncurses z3;
+  inherit (pkgs) bison diffutils jq miller ncurses z3;
 
   ttuegel =
     let
@@ -44,6 +44,7 @@ stdenv.mkDerivation {
   buildInputs = [
     k kore  # some tests use kore-exec directly, others run through the frontend
     ncurses  # TODO: .../lib/kframework/setenv: line 31: tput: command not found
+    jq miller # processing test statistics
     z3
   ];
   configurePhase = ''

test.nix

@@ -1,5 +1,5 @@
 #!/usr/bin/env nix-shell
-#!nix-shell ../../nix/shell.performance.nix -i bash
+#!nix-shell ../../test.nix -i bash
 
 set -xeou pipefail
 
@@ -16,7 +16,7 @@ tests=(add0 branching-invalid branching-no-invalid pop1 straight-line-no-invalid
 echo "name,allocated_bytes,max_live_bytes" >"$out"
 for each in "${tests[@]}"
 do
-    ./test-${each}.sh --rts-statistics "$each.json" >/dev/null 2>&1
+    ./test-${each}.sh --rts-statistics "$each.json" >/dev/null
     echo "\"$each\",$(jq -r .allocated_bytes <"$each.json" ),$(jq -r .max_live_bytes <"$each.json" )" >>"$out"
     rm "$each.json"
 done