diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2017-11-17 09:44:13 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-11-17 09:44:13 -0800 |
commit | 40b04572d72ed5c46b85ec3cd06e5654efaa6d33 (patch) | |
tree | ab2220a5fe9935778c510ce56a0bfdad2d96afe6 /src/options | |
parent | 6c6f4e23aea405a812b1c6a3dd4d80696eb34741 (diff) |
Add random number generator. (#1370)
This adds a deterministic (seeded) random number generator (RNG). It implements the xorshift* generator (see S. Vigna, An experimental exploration of Marsaglia's xorshift generators, scrambled. ACM Trans. Math. Softw. 42(4): 30:1-30:23, 2016).
Diffstat (limited to 'src/options')
-rw-r--r-- | src/options/main_options | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/options/main_options b/src/options/main_options index e47f55746..1793cae2d 100644 --- a/src/options/main_options +++ b/src/options/main_options @@ -18,6 +18,9 @@ common-option - --show-config void :handler showConfiguration common-option - --copyright void :handler copyright show CVC4 copyright information +common-option seed -s --seed uint64_t :default 0 + seed for random number generator + option - --show-debug-tags void :handler showDebugTags show all available tags for debugging option - --show-trace-tags void :handler showTraceTags |