Skip to content

Instantly share code, notes, and snippets.

@zachbellay

zachbellay/test_traces.sh

Created November 4, 2018 20:04
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save zachbellay/7866e648955653bf236c8e76729f1be3 to your computer and use it in GitHub Desktop.
Save zachbellay/7866e648955653bf236c8e76729f1be3 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
test_traces.sh
#!/bin/bash
for i in traces/*; do
if [ -d "$i" ]; then
trace=$(basename "$i")
MPKI=$(./run $i | grep -oP '(?<=MPKI: )[0-9]+([.][0-9]+)')
printf "%s : %s\n" "$trace" "$MPKI"
fi
done
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment