The report shows the numbers of constraints not tested due to false paths,
disabled timing, case analysis, and mode analysis. It can also reveal
constraints not tested due to setup mistakes such as unconstrained inputs.
You can get more coverage information by using the command’s
-status_details option.