mirror of https://github.com/ARMmbed/mbed-os.git
Don't just xor in the 64-bit number given, splitmix64 it across the entire state. Also, make sure we don't accidentally set the state to all-zero. RANDLIB_ASSUME_GOOD_SEED dropped - we now assume splitmix64 will be present for the seed additions. (Note that add_seed will be somewhat slow on platforms like MSP430 with slow multipliers - don't call it too much.) |
||
|---|---|---|
| .. | ||
| randlib | ||
| stubs | ||
| Makefile | ||
| MakefileWorker.mk | ||
| makefile_defines.txt | ||
| run_tests | ||