Hey! This is a draft suggestion PR to move to more industry-oriented approach for testing.

Suggested Changes:

1. use cmake as a meta-build system. This should make it easier to develop new tests. Benefits:

• no manual compilation of tests required
• supports any compiler on any OS (as opposed to test.sh)

2. use googletest as testing library

• provides information about failed tests/execution time out of the box (as opposed to manual reporting)
• we can now compile all the tests into a single executable to launch all cp-algorithms tests at once.

Side note: I was suspecting that there will be ODR violation error when including the same snippet in multiple source files, but it seems that we're good, since ODR is applicable only to a single translation unit.

Current Changes

• rework extract_snippets.py script (add logging and command line arguments support)
• rework the file structure in the test/ folder, suggested layout:

• update 2sat and aho_korasick tests to use gtest (see ./test/src folder)

Changes To Be Implemented If This Approach Is Approved

1. add -fsanitize=undefined -fno-sanitize-recover compiler flags
2. update all test test_*.cpp files to use google test framework
3. update test workflow
4. add #pragma once to all generated snippets

Question to Maintainers

What are your thoughts on this? I'm down to rework all the test files, but would like to hear your feedback/suggestions first :)