projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6e72b68) | patch
test: Add TS_UTILS_EXPECT_ABORT macro for unit tests. (#3378)
authorMathias Preiner <mathias.preiner@gmail.com>
Thu, 10 Oct 2019 06:21:18 +0000 (23:21 -0700)
committerGitHub <noreply@github.com>
Thu, 10 Oct 2019 06:21:18 +0000 (23:21 -0700)
commit2c77abd838c55269d78fcfb2ec44be0fdb089214
tree37ae16370ab1bad0122b44f47f34d592f5bbcfeftree
parent6e72b68c4a0bbe9285450e82a1f465fb8a01080fcommit | diff
test: Add TS_UTILS_EXPECT_ABORT macro for unit tests. (#3378)

TS_UTILS_EXPECT_ABORT can be used if an expression in a unit test is
expected to abort() instead of throwing an exception. This can happen if
CVC4_CHECK or CVC4_DCHECK fail.
test/unit/test_utils.h [new file with mode: 0644] blob
test/unit/util/check_white.h diff | blob | history