Closed JensWehner closed 4 years ago
Seems the source file of tests-main
is missing?
good point
I think it is ready to merge. The only issue is that this PR does not pass Travis CI since the test takes too long. To fix it we need to add proper optimization flags (e.g. -O2
) to the build script. I guess some CMake options need to be modified?
yes I took them out because I thought debug should be proper debug mode, but then the tests take 4-5h. github actions can handle it but not travis.
Either we make the tests smaller or we add optimisation flags.
I see. Shall we merge this first and then fix it in the 6_jd_base_solver branch later?
should reduce compile times according to https://github.com/catchorg/Catch2/blob/master/docs/slow-compiles.md#top