For example, you should include -lm if you are linking against the math library. Verificarlo can instrument floating point comparison operations. By default, comparison operations are not instrumented ...