diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2019-06-19 15:26:09 +0200 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2019-06-19 15:26:09 +0200 |
| commit | 3652fd819ce652bc97c47f95d88e400139931524 (patch) | |
| tree | 9529f785d7379e49905d68253c00253aa5280c31 /test/monniaux/gengraphs.py | |
| parent | 4b45c51d3d9a19abcc54273cc5cfa51b70352a49 (diff) | |
| download | compcert-kvx-3652fd819ce652bc97c47f95d88e400139931524.tar.gz compcert-kvx-3652fd819ce652bc97c47f95d88e400139931524.zip | |
Adding measures graph generation in the Makefile
Diffstat (limited to 'test/monniaux/gengraphs.py')
| -rwxr-xr-x | test/monniaux/gengraphs.py | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/test/monniaux/gengraphs.py b/test/monniaux/gengraphs.py index 3ffe6f3d..c7532efd 100755 --- a/test/monniaux/gengraphs.py +++ b/test/monniaux/gengraphs.py @@ -10,9 +10,9 @@ from typing import * # Reading data ## -if len(sys.argv) != 2: - raise Exception("Only 1 argument should be given to this script: the make.proto file") -csv_file = sys.argv[1] +if len(sys.argv) != 3: + raise Exception("Arguments for this script: the csv file, the base name of the output PDF file") +_, csv_file, output_basename = sys.argv with open(csv_file, "r") as f: df = pd.read_csv(csv_file) @@ -90,5 +90,5 @@ def generate_file(f: str, cols: List[str]) -> None: plt.savefig(f) -generate_file("measures-host.pdf", host_measures_cols) -generate_file("measures-k1c.pdf", k1c_measures_cols) +generate_file(output_basename + ".host.pdf", host_measures_cols) +generate_file(output_basename + ".k1c.pdf", k1c_measures_cols) |