projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bd5067d) | patch
cmake: Refactor cvc4_add_unit_test macro to support test names with '/'.
authorAina Niemetz <aina.niemetz@gmail.com>
Wed, 19 Sep 2018 16:21:31 +0000 (09:21 -0700)
committerMathias Preiner <mathias.preiner@gmail.com>
Sat, 22 Sep 2018 23:30:59 +0000 (16:30 -0700)
commit65a713e53cefa95fcff1b2db30046edf943b3390
treef2a00a78087c604c48f3bb40a2cbe72f3458e5cftree
parentbd5067d49cc113750887b62f865df8048c648ccecommit | diff
cmake: Refactor cvc4_add_unit_test macro to support test names with '/'.

Required for consistent naming of tests, unit test names now also use
the test naming scheme <category>/<subdir>/<test name>, e.g.,
unit/theory/theory_bv_white.
examples/CMakeLists.txt diff | blob | history
test/unit/CMakeLists.txt diff | blob | history
test/unit/base/CMakeLists.txt diff | blob | history
test/unit/context/CMakeLists.txt diff | blob | history
test/unit/expr/CMakeLists.txt diff | blob | history
test/unit/main/CMakeLists.txt diff | blob | history
test/unit/parser/CMakeLists.txt diff | blob | history
test/unit/prop/CMakeLists.txt diff | blob | history
test/unit/theory/CMakeLists.txt diff | blob | history
test/unit/util/CMakeLists.txt diff | blob | history