I'm trying to debug my toy source code where there are 0 snippets and 0 statements and I'm reusing the debug methodology from an earlier interaction with @ChrisTimperley.
Basically, kaskara-statement-finder
(and kaskara-loop-finder
) does not seem to work - instead getting "Compile command not found." as the output from this command.
(djling_venv) bss-lab-1@bsslab1-Precision-Tower-5810:~/Darjeeling/tea_sampler.fauxware$ cat check_kaskara.py && echo "------" && python3 check_kaskara.py
import kaskara
import bugzoo.server
with bugzoo.server.ephemeral() as client_bugzoo:
snapshot = client_bugzoo.bugs['sefcom:fauxware']
files = ['/experiment/src/fauxware.c']
kaskara.Analysis.build(client_bugzoo, snapshot, files)
------
[kaskara.analysis] build
[kaskara.analysis] build : try
building statement database for snapshot [%s] sefcom:fauxware
fetching statements from files: %s /experiment/src/fauxware.c
executing statement finder [/experiment/src]: kaskara-statement-finder /experiment/src/fauxware.c
executed statement finder [0]:
Skipping /experiment/src/fauxware.c. Compile command not found.
reading statement analysis results from file: %s statements.json
finished reading statement analysis results
[kaskara.analysis] build : return
(djling_venv) bss-lab-1@bsslab1-Precision-Tower-5810:~/Darjeeling/tea_sampler.fauxware$
This is consistent with the darjeeling repair sample.yml
command output:
(djling_venv) bss-lab-1@bsslab1-Precision-Tower-5810:~/Darjeeling/tea_sampler.fauxware$ darjeeling repair sample.yml
destroying existing patch directory
/home/bss-lab-1/Darjeeling/djling_venv/lib/python3.6/site-packages/darjeeling/cli/__init__.py:102: YAMLLoadWarning: calling yaml.load() without Loader=... is deprecated, as the default Loader is unsafe. Please read https://msg.pyyaml.org/load for full details.
yml = yaml.load(f)
search will terminate when an acceptable patch has been discovered
using threads specified by configuration: 16 threads
using time limit specified by configuration: 3600 minutes
using candidate limit specified by configuration: 5000 candidates
using random number generator seed provided by configuration: 0
using language: c
using repair settings: Settings(use_scope_checking=True, use_syntax_scope_checking=True, ignore_dead_code=True, ignore_equivalent_appends=True, ignore_untyped_returns=True, ignore_string_equivalent_snippets=True, ignore_decls=True, only_insert_executed_code=True)
connecting to BugZoo server
connected to BugZoo server
computing coverage information...
computed coverage information
computing fault localization...
supported suspiciousness metrics: genprog, tarantula, ochiai, jaccard, ample
using suspiciousness metric: tarantula
computed fault localization:
Localization(
fauxware.c:10: 0.50;
fauxware.c:13: 0.50;
fauxware.c:17: 0.50;
fauxware.c:27: 0.53;
fauxware.c:29: 0.53;
fauxware.c:30: 0.53;
fauxware.c:38: 0.50;
fauxware.c:44: 0.50;
fauxware.c:45: 0.50;
fauxware.c:47: 0.50;
fauxware.c:48: 0.50;
fauxware.c:49: 0.50;
fauxware.c:50: 0.50;
fauxware.c:51: 0.50;
fauxware.c:52: 0.50;
fauxware.c:54: 0.50;
fauxware.c:55: 0.50;
fauxware.c:57: 0.53)
[kaskara.analysis] build
[kaskara.analysis] build : try
building statement database for snapshot [%s] sefcom:fauxware
fetching statements from files: %s fauxware.c
executing statement finder [/experiment/src]: kaskara-statement-finder fauxware.c
executed statement finder [0]:
Skipping /experiment/src/fauxware.c. Compile command not found.
reading statement analysis results from file: %s statements.json
finished reading statement analysis results
[kaskara.analysis] build : return
determined passing and failing tests
* passing tests: p16, p14, p10, p12, p13, p4, p6, p9, p2, p5, p7, p1, p8, p3, p15, p11
* failing tests: n1, n2
ordering test cases
test order: n2, n1, p14, p5, p15, p13, p4, p6, p11, p3, p8, p2, p10, p16, p9, p1, p12, p7
constructing database of donor snippets...
constructed database of donor snippets: 0 snippets
constructing transformation database...
constructed transformation database: 0 transformations
beginning search process...
all candidate patches have been exhausted
failed to find a patch
waiting for pending evaluations to complete.
finished waiting for pending evaluations to complete.
found 0 plausible patches
time taken: 0.00 minutes
# test evaluations: 0
# candidate evaluations: 0