Skip to content
Snippets Groups Projects
Verified Commit d04ab0ad authored by Sébastien Villemot's avatar Sébastien Villemot
Browse files

Testsuite: add tolerance in neo_growth_ramsey_k_order.mod

My guess is that the slight variations across runs are probably due to
multithreading (depending on the order in which threads terminate, the
aggregation of results is done in a different order, which can lead to small
floating point differences).
parent f4e1dcd5
Branches
Tags
Loading
Checking pipeline status