diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2019-06-14 14:49:09 +0200 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2019-06-19 11:52:10 +0200 |
| commit | 2bcb1064d0352f67bc1ae7a62c7ed1d13fd54644 (patch) | |
| tree | 05bc29fb9757ebafb93af182b0f0e84c6f136517 /test/monniaux | |
| parent | 1e27cc8f95ca7dd29d0f7970ed0df85fca797a23 (diff) | |
| download | compcert-kvx-2bcb1064d0352f67bc1ae7a62c7ed1d13fd54644.tar.gz compcert-kvx-2bcb1064d0352f67bc1ae7a62c7ed1d13fd54644.zip | |
graphique: Label corrections
Diffstat (limited to 'test/monniaux')
| -rwxr-xr-x | test/monniaux/gencompile.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/monniaux/gencompile.py b/test/monniaux/gencompile.py index e636a545..faa7bdd8 100755 --- a/test/monniaux/gencompile.py +++ b/test/monniaux/gencompile.py @@ -28,9 +28,9 @@ x = [coord[0] for coord in coords] y = [coord[1] for coord in coords] plt.plot(x, y, "b+") -ax.set_ylabel("Time (s)") +ax.set_ylabel("Time x1000 (s)") ax.set_title("Verification time") -ax.set_xlabel("Size of basic block") +ax.set_xlabel("Size of basic blocks") plt.savefig("compile-times.pdf") |