microbat
microbat copied to clipboard
[Observed Fault] Closure-83: Exception Case is Messy
In Closure-83, the control dominator of step 287 in the buggy trace is incorrect. In addition, step 287 should not be considered as the observed fault.