diff options
| author | Gereon Kremer <nafur42@gmail.com> | 2021-05-26 08:20:03 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-05-26 06:20:03 +0000 |
| commit | 14b4666bec5cf6a8058254d740e94eda388f4760 (patch) | |
| tree | 14f7764670624076e5d349b1f8f86e899ea1e19c /src/theory/arith/arith_msum.cpp | |
| parent | 22d05234d9a4a98ad715d6e2d6cb1616592fd2b5 (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.
Diffstat (limited to 'src/theory/arith/arith_msum.cpp')
0 files changed, 0 insertions, 0 deletions