Testing exception flows edges