Commit c1541beb authored by Stéphane Adjemian's avatar Stéphane Adjemian

Merge branch 'Ramsey_estimation' into 'master'

testsuite: add integration test for estimation with Ramsey

See merge request !1719
parents 2083246a 068a3e4b
Pipeline #3311 passed with stages
in 67 minutes and 57 seconds