projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4395b6d) | patch
Build api tests in build/bin/test/api. (#6076)
authorAina Niemetz <aina.niemetz@gmail.com>
Mon, 8 Mar 2021 19:10:14 +0000 (11:10 -0800)
committerGitHub <noreply@github.com>
Mon, 8 Mar 2021 19:10:14 +0000 (11:10 -0800)
commitbcbf146f0786035b0228eb4bcd13eb2bc6ca5f9b
tree809ac98dbd38daea8f322e4306ca835f1bf7abe4tree
parent4395b6d728d2a25bff3a56801f7218d79834f423commit | diff
Build api tests in build/bin/test/api. (#6076)

Previously, api tests where built in build/test/api instead of in the
bin directory for the tests.
test/api/CMakeLists.txt diff | blob | history