add ctest as test driver (#3446)

This commit is contained in:
Felix Schurk 2024-05-10 03:20:54 +02:00 committed by GitHub
parent 2361521449
commit 82e0d53cdf
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
15 changed files with 90 additions and 523 deletions

View file

@ -26,7 +26,5 @@ RUN cmake --install build
RUN task --version
# Setup tests
WORKDIR /root/code/build/test
RUN make -j8
CMD ["bash", "-c", "./run_all -v ; cat all.log | grep 'not ok' ; ./problems"]
RUN cmake --build build --target build_tests -j 8
CMD ctest --test-dir build -j 8 --output-on-failure --rerun-failed