Stream: Coq devs & plugin devs

Topic: Average bench results


view this post on Zulip Ali Caglayan (Sep 28 2021 at 14:38):

Since there is always some noise with bench results, would it make sense to do a small average? Maybe 5 runs each or so?

view this post on Zulip Gaëtan Gilbert (Sep 28 2021 at 14:52):

for some developments that would eat a lot of time (eg perennial takes > 1h for each version tested)
it could make sense for the faster ones, eg the <10min ones


Last updated: Dec 07 2023 at 14:02 UTC