Problem
1. Prove that the edge-coverage criterion produces different results from, and is finer than, the statement-coverage criterion.
2. Suppose you reformulate the condition-coverage criterion so that you require, not that all edges, but just that the constituents of compound conditions, of the control flow graph be exercised. Prove why this criterion would not be finer than the edge-coverage criterion.