-
Marco Solieri authored
- Add header to the output of table_jitter.py. - Replace hardcoded plot with dynamically generated with PGFPlots (assumes CSV file name as in run_artifact.sh). Signed-off-by: Marco Solieri <ms@xt3.it>
- Add header to the output of table_jitter.py.
- Replace hardcoded plot with dynamically generated with PGFPlots
(assumes CSV file name as in run_artifact.sh).
Signed-off-by: Marco Solieri <ms@xt3.it>