projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b63c058) | patch
Fix names of unit tests (#8338)
authorGereon Kremer <gkremer@cs.stanford.edu>
Mon, 21 Mar 2022 18:49:16 +0000 (19:49 +0100)
committerGitHub <noreply@github.com>
Mon, 21 Mar 2022 18:49:16 +0000 (18:49 +0000)
commit2a8a9e3df7149102e86cb2ffd57aac79b2db0172
treec7a167807af6df50b4a76a75214ac7257b60e5c6tree
parentb63c05876c2b5f2cd8c26beb85b8e1bee10344c3commit | diff
Fix names of unit tests (#8338)

We are generally converging to tests names that are identical to their file name relative to the test directory, making running a particular subset of tests via ctest -R reasonably easy. This PR makes sure that the tests in unit/api/cpp also adhere to this schema.
test/unit/CMakeLists.txt diff | blob | history
test/unit/api/cpp/CMakeLists.txt diff | blob | history