Comment by bthornbury

I discuss the testing approach and coverage with the model before and after, sometimes in a fresh thread that does a static analysis.

interestingly my input is still pretty important