projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6f8f565) | patch
Fix 32bit issue in sep_log_api test (#7752)
authorGereon Kremer <gkremer@stanford.edu>
Tue, 7 Dec 2021 01:46:54 +0000 (17:46 -0800)
committerGitHub <noreply@github.com>
Tue, 7 Dec 2021 01:46:54 +0000 (01:46 +0000)
commit5108f5c667d417ee1cd53a0404596c9da6e2a90f
treec66da8aed40da93db06e97a1667dbc6e6e193e7atree
parent6f8f56513c93eef7be4e55e97e4b08a0eaadea7fcommit | diff
Fix 32bit issue in sep_log_api test (#7752)

This uses the proper `t.getInt64Value()` getter instead of `std::stoll(t.toString())`, fixing an issue on 32bit platforms.
test/api/cpp/sep_log_api.cpp diff | blob | history