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