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