If FADBAD is installed on your system, you can specify a value for its install fadbad_prefix on the cmake command line. The value of fadbad_prefix must be such that, for one of the directories dir in cmake_install_includedirs ,       fadbad_prefix/dir/FADBAD++/badiff.h  is a valid way to reference to the include file badiff.h;
If you include fadbad_prefix on the cmake command line, you will be able to run the FADBAD speed correctness tests by executing the following commands starting in the distribution directory :       cd build/speed/fadbad      make check_speed_fadbad  After executing make check, you can run a specific FADBAD speed test by executing the command ./speed_fadbad; see speed_main for the meaning of the command line options to this program.
If you are using Unix, you can download and install a copy of Fadbad using get_fadbad.sh . The corresponding fadbad_prefix would be build/prefix.