https://se.mathworks.com/help/codeprover/ref/specificprecisionmodulesprecision.html
Specific precision (-modules-precision) - Specify source files you want to verify at higher...
This option affects a Code Prover analysis only.
precision modulessource files
https://hhxmjs.en.made-in-china.com/product/sAlpnHOMfZVW/China-Precision-Control-Board-Components-Custom-Brackets-and-Circuit-Modules-for-Electronics.html
Precision Control Board Components - Custom Brackets and Circuit Modules for Electronics - Custom...
Precision Control Board Components - Custom Brackets and Circuit Modules for Electronics, Find Details and Price about Custom PCB Component Precision Control...
precision controlboard componentscustom brackets