Switch branches/tags
Nothing to show
Find file History
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
..
Failed to load latest commit information.
tests
MTk0NjE0Mj.patch
MzBiYjQ4ZG.patch
NDM5MjVmOT.patch
NGU0NDRiM2.patch
NzBjMjQ0OT.patch
ODY3ODM5YW.patch
OTcyZjg1Mz.patch
README.md
YTA2MTE4ND.patch
ZDc4NDZjMm.patch
ZTBjYWY1Nj.patch
ZTRmYWE5Nj.patch
ZmZkMWM5OG.patch

README.md

  • P: patch is Plausible (passes our test case)
  • C: patch is Correct (passes our code review)
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