View on GitHub

DBGBench

From Practitioners for Researchers

Participant ID P C Strategy Category Rationale
ZDc4NDZjMm 1 1 Weaken condition that prevents state.starting_path_length to be reset Different but Correct  
YTA2MTE4ND 1 1 Weaken condition that prevents state.starting_path_length to be reset Different but Correct  
OTcyZjg1Mz 1 1 Weaken condition that prevents state.starting_path_length to be reset Different but Correct  
ZmZkMWM5OG 1 1 Weaken condition that prevents state.starting_path_length to be reset Different but Correct  
ZTRmYWE5Nj 1 0 Satisfy condition to enforce state.starting_path_length to be reset. Incomplete Fix Only when mode is not 0
NDM5MjVmOT 1 1 Weaken condition that prevents state.starting_path_length to be reset Different but Correct  
NGU0NDRiM2 0 0 Recompute state.starting_path_length before use Regression Introduces new errors & Original test fails
NzBjMjQ0OT 1 1 Recompute state.starting_path_length for each argv before calling find Developer Fix  
MzBiYjQ4ZG 1 0 Reset state.starting_path_length even if ent->fts_level != 0 Regression  
ZTBjYWY1Nj 1 1 Weaken condition that prevents state.starting_path_length to be reset Different but Correct  
MTk0NjE0Mj 1 1 Weaken condition that prevents state.starting_path_length to be reset Different but Correct  
ODY3ODM5YW 1 1 Weaken condition that prevents state.starting_path_length to be reset Different but Correct