search

NTU-ALComLab / ssatABC

Stochastic SAT solver within ABC
Other
5 stars 2 forks source link

Set up Catch2 CI #8

Closed nianzelee closed 3 years ago

nianzelee commented 3 years ago

Use Catch2 for simple regression testing upon every commit.

nianzelee commented 3 years ago

The Catch2 CI is set up as a step after compilation in C/C++ CI workflow.

It is achieved by registering a regression-test command with ABC, which calls Catch2 under the hood. Three additional test cases were added.