diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2017-12-29 18:08:41 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-12-29 18:08:41 -0800 |
commit | 2d147b72e1339f4c281caf7786dfa9b4d79ed21c (patch) | |
tree | f4b2d78feea05ccbf4ff774d1c9bd3c6f473d9dd /src/util/regexp.h | |
parent | 47d542f312ac8e22e8d3aae1007cfd13701983a6 (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.
Diffstat (limited to 'src/util/regexp.h')
0 files changed, 0 insertions, 0 deletions