projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 22d0523) | patch
Ensure proper types in unit tests (#6598)
authorGereon Kremer <nafur42@gmail.com>
Wed, 26 May 2021 06:20:03 +0000 (08:20 +0200)
committerGitHub <noreply@github.com>
Wed, 26 May 2021 06:20:03 +0000 (06:20 +0000)
commit14b4666bec5cf6a8058254d740e94eda388f4760
tree14f7764670624076e5d349b1f8f86e899ea1e19ctree
parent22d05234d9a4a98ad715d6e2d6cb1616592fd2b5commit | diff
Ensure proper types in unit tests (#6598)

This PR fixes a type mixup (the usual long vs long long mixup on macos systems) in the unit tests for the new api::Term getters.
Fixes #6594.
test/unit/api/term_black.cpp diff | blob | history