To build these speed tests, and run their correctness tests, execute the following commands starting in the build directory :       cd speed/sacado      make check_speed_sacado VERBOSE=1  You can then run the corresponding speed tests with the following command       ./speed_sacado speed seed  where seed is a positive integer. See speed_main for more options.