projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 21439d9) | patch
Fix type for Windows build (#5062)
authorAndres Noetzli <andres.noetzli@gmail.com>
Mon, 14 Sep 2020 15:15:31 +0000 (08:15 -0700)
committerGitHub <noreply@github.com>
Mon, 14 Sep 2020 15:15:31 +0000 (10:15 -0500)
commitc82d061abb0c011da2700051b7a0548f5d59904b
tree16e001492ec264cf08eaedf72d07927324b12147tree
parent21439d98e9afe1541bb0f5371c4ab0011666bd5ecommit | diff
Fix type for Windows build (#5062)

The BVToInt preprocessing pass was using uint, which appears to be
undefined when we cross-compile for Windows. This commit fixes the issue
by using size_t.
src/preprocessing/passes/bv_to_int.cpp diff | blob | history