Prev | Next |
cd speed/double
make check_speed_double VERBOSE=1
You can then run the corresponding speed tests
with the following command
./speed_double speed seed
where
seed
is a positive integer.
See speed_main
for more options.