diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-06-29 17:02:37 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-06-29 17:02:37 +0200 |
commit | 144fb87e857c06f7dfe8cb68ce7aea79761aecae (patch) | |
tree | 001b8bd15555888bbf6265c4acaa3e7a49afbd4d /test | |
parent | fd2898bef357da68ae4962120ce723748b488137 (diff) | |
download | compcert-kvx-144fb87e857c06f7dfe8cb68ce7aea79761aecae.tar.gz compcert-kvx-144fb87e857c06f7dfe8cb68ce7aea79761aecae.zip |
Replacing crosses by dots
Diffstat (limited to 'test')
-rwxr-xr-x | test/monniaux/gencompile.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/monniaux/gencompile.py b/test/monniaux/gencompile.py index bee1c924..c2be74db 100755 --- a/test/monniaux/gencompile.py +++ b/test/monniaux/gencompile.py @@ -37,7 +37,7 @@ def do_plot(coords: List[Tuple[int, float]], style: str, label: str): plt.xscale("log") plt.yscale("log") -do_plot(verifier_coords, "b+", "Verifier") +do_plot(verifier_coords, "b.", "Verifier") do_plot(oracle_coords, "g+", "Oracle") ax.set_ylabel("Time x1000 (s)") |