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
MGJmMTU1N2.patch
MTk0NjE0Mj.patch
MzBiYjQ4ZG.patch
NDM5MjVmOT.patch
NGU0NDRiM2.patch
NTU0ZTZlNT.patch
NzBjMjQ0OT.patch
ODY3ODM5YW.patch
README.md
YTA2MTE4ND.patch
ZTBjYWY1Nj.patch
ZTk0ZThkOD.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
YTA2MTE4ND 1 1 If local, close file descripter Developer-Fix
ZTk0ZThkOD 1 1 If local, close file descripter Developer-Fix
ZmZkMWM5OG 1 1 If local, close file descripter Developer-Fix
MGJmMTU1N2 1 1 If local, close file descripter Developer-Fix
NDM5MjVmOT 1 1 Unconditionally always close file descriptor Different but Correct Fix Maybe a bit inefficient (double close)
NGU0NDRiM2 1 1 If local, close file descripter Developer-Fix
NTU0ZTZlNT 1 1 Unconditionally always close file descriptor Different but Correct Fix Maybe a bit inefficient (double close)
NzBjMjQ0OT 1 1 Unconditionally always close file descriptor Different but Correct Fix Maybe a bit inefficient (double close)
ZTBjYWY1Nj 1 1 Unconditionally always close file descriptor Different but Correct Fix Maybe a bit inefficient (double close)
MzBiYjQ4ZG 1 1 If local, close file descripter Developer-Fix
MTk0NjE0Mj 1 0 Close file descriptor every time launch is called Incomplete Fix Still, does not close all descriptors
ODY3ODM5YW 1 0 Close a random file descriptor Incomplete Fix Still, does not close all descriptors