v1.1.0
This version is based on Valgrind-3.13.0.
Added
- Command-line option
--vr-seed
allows setting the pRNG seed in order to
reproduce results inrandom
andaverage
rounding modes.
This version is based on Valgrind-3.13.0.
--vr-seed
allows setting the pRNG seed in order torandom
and average
rounding modes.