Zhang Yuntong issues

Results 6 issues of


                                            Zhang Yuntong

PASS_TO_PASS tests failing on original program

Thank you for creating the dataset! I was running scripts on the benchmark, and realized that sometimes the `PASS_TO_PASS` tests fail on the original version of the subject when no...

evaluation

[Fresh issue mode] Support local codebase and local issue file

Currently, the fresh issue mode only supports cloning a remote project and working on issues from GitHub links. Sometimes one may want to pre-download the codebase and write the issue...

feature

[Fresh issue mode] Support using local repo and local issue

Resolves #27

Add a timeout to search_code call

In some rare cases, `search_code` can take very long, thus adding a timeout to it.

When running on the same bug mutliple times, one needs to manually remove the previous runtime folder

As mentioned above. Should either remove the old runtime directory, or archive it to a different name.

UI mode stuck when building experiment environment for multiple experiments

- cerberus version: [df153e1](https://github.com/nus-apr/cerberus/commit/df153e1879983e03a3eb38e883d19f09813c1f9d) - command used: ``` cerberus --task-type=analyze --benchmark=vulnloc --tool=infer --tool-param="--bufferoverrun --pulse --biabduction" --bug-index-list=1-8,11-43 -g --cpu-count=128 --rebuild-all ``` Cerberus seems to be stuck (at least the UI is...