Various definitions of loop coverage exist.

One of the more useful suggests that a loop is covered if in at least one test the body was executed 0 times, and if in some test the body was executed exactly once, and if in some test the body was executed more than once.

A good idea to keep in mind, but harder to monitor.