Commit Graph

4 Commits

Author SHA1 Message Date
Martin Hořeňovský
6da5e0862a Benchmark script: allow passing flags to compiler 2017-02-14 15:34:17 +01:00
Martin Hořeňovský
2049113935 Benchmark script: use median AND mean of compile time 2017-02-14 15:34:00 +01:00
Martin Hořeňovský
0837132ce3 Make the benchmarking script Python 2 compatible
Ended up using `time.time()`, even if it supposedly has worse accuracy,
because Python running under WSL supports `time.clock()` very badly.
2017-02-12 12:25:43 +01:00
Martin Hořeňovský
26df0781a5 Added a script for running synthetic compile time benchmark 2017-02-08 14:15:01 +01:00