Prime Path Coverage in the GNU Compiler Collection
arxiv.org11 points by matt_d 20 hours ago
11 points by matt_d 20 hours ago
Does it require that all exit conditions of a loop are taken/not-taken? I've found lots of bugs around if(foo)break; logic.