projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 47d542f) | patch
Fix RNG for seed = 0. (#1459)
authorAina Niemetz <aina.niemetz@gmail.com>
Sat, 30 Dec 2017 02:08:41 +0000 (18:08 -0800)
committerGitHub <noreply@github.com>
Sat, 30 Dec 2017 02:08:41 +0000 (18:08 -0800)
commit2d147b72e1339f4c281caf7786dfa9b4d79ed21c
treef4b2d78feea05ccbf4ff774d1c9bd3c6f473d9ddtree
parent47d542f312ac8e22e8d3aae1007cfd13701983a6commit | diff
Fix RNG for seed = 0. (#1459)

The default value for the seed for CVC4's RNG is 0. However, xorshift* requires a non-zero seed, else it generates only zero values. This fixes and prevents this behavior by resetting a given zero seed to ~0.
src/util/random.cpp diff | blob | history
src/util/random.h diff | blob | history