Pulse checker pulse-force-continue and pulse-havoc-arguments C++/C

Hello everybody,

I noticed in the source code most test Makefiles use **--no-pulse-force-continue** for the Pulse checker.

I found comments in the source code noting that **pulse-force-continue** "may introduce false positives" (PulseCallOperations.ml:987-989).

For a large production codebase where reducing false positives is a priority (accepting that some true positives may be missed), should I set
**pulse-force-continue** and **pulse-havoc-arguments** to false?

What configuration do you recommend for production use of the Pulse checker?

Thank you again for your time and guidance.