search

llmhyy / microbat

A feedback-based debugger for interactively recommending suspicious step in buggy program execution.
55 stars 16 forks source link

[Observed Fault] Closure-83: Exception Case is Messy #140

Open llmhyy opened 6 years ago

llmhyy commented 6 years ago

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.