To build these speed tests, and run their correctness tests, execute the following commands starting in the build directory :       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.