Testing

Kore's integration tests

To execute integration tests only from one subfolder of test/, run from project root:

make -C "test/issue-2700" test

Unit and property tests

Run unit tests that match an awk pattern:

stack test --test-arguments "-p \"\$0 ~ /Matcher/ && \$(NF-1) ~ /Set/\""

Here we run test that has Matcher in its module name ($0) and Set in its test group ($(NF -1)). NF stands for Number of Fields, i.e. $NF is the last field in the test table, which is the test name from the source file.

Add a -l before the last double quotation mark to list the tests without running them.