projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 93160e9) | patch
ctest: Fix labels for python unit tests. (#8328)
authorAina Niemetz <aina.niemetz@gmail.com>
Thu, 17 Mar 2022 19:59:43 +0000 (12:59 -0700)
committerGitHub <noreply@github.com>
Thu, 17 Mar 2022 19:59:43 +0000 (19:59 +0000)
commitedd20094addd10f44df924581b88b52bd4648ca2
treeb15f115529e3240ddce70f30acb028caf94f7184tree
parent93160e9f24c78b68d3c2b523cd11a2f71acd77e4commit | diff
ctest: Fix labels for python unit tests. (#8328)

Previously, Python unit tests were labeled with one single label "unit
python". This fixes their labeling to two separate labels, "unit" and
"python".
test/unit/api/python/CMakeLists.txt diff | blob | history