ratt-ru / QuartiCal

CubiCal, but with greater power.
MIT License
8 stars 4 forks source link

Solver tests #120

Closed JSKenyon closed 3 years ago

JSKenyon commented 3 years ago

This PR adds tests for each solver. Some of these tests may need to be optional as the compilation time is large. Note that these tests do not test absolutely all functionality - this will be added later once the test suite has been refined a little (subsequent PR). The particular features not currently tested are weights (tests assume unity) and solution intervals (tests assume (1,1) or (1,0) as appropriate for the solver). The current tests do check for sensible results on tiny randomly generated (seeded) problems and should immediately uncover interface related breakages (all correlation paths are tested).