Name		Name	Last commit message	Last commit date
parent directory ..
ansible		ansible
field_count		field_count
README.md		README.md
collect_json.py		collect_json.py
collect_repo_info.py		collect_repo_info.py
collect_time.py		collect_time.py
crawl_examples.py		crawl_examples.py
crawl_git_repos.py		crawl_git_repos.py
difftest_to_csv.py		difftest_to_csv.py
feature_results_to_csv.py		feature_results_to_csv.py
generation_results_to_csv.py		generation_results_to_csv.py
get_properties_in_misoperation.py		get_properties_in_misoperation.py
get_recovery.py		get_recovery.py
parse_inspection_result.py		parse_inspection_result.py
process_bugs_info.py		process_bugs_info.py
prune_tool.py		prune_tool.py
results_to_csv.py		results_to_csv.py
run_difftest.sh		run_difftest.sh
runbatch_1.sh		runbatch_1.sh
runbatch_1_1.sh		runbatch_1_1.sh
runbatch_1_2.sh		runbatch_1_2.sh
runbatch_2.sh		runbatch_2.sh
runbatch_2_1.sh		runbatch_2_1.sh
runbatch_3.sh		runbatch_3.sh
runbatch_4.sh		runbatch_4.sh
runbatch_5.sh		runbatch_5.sh
runbatch_6.sh		runbatch_6.sh
runblackbox_sh		runblackbox_sh
runchecker.sh		runchecker.sh
runchecker_blackbox.sh		runchecker_blackbox.sh
rundelta.sh		rundelta.sh
runlearn.sh		runlearn.sh
runsemantic_blackbox.sh		runsemantic_blackbox.sh
runtest.sh		runtest.sh
teardown.sh		teardown.sh

README.md

prune_tool.py

A helper for pruning input generation space. This tool will calculate the number of leaves under every path and print the top 10 levels.

Collect all results.json in the testrun dir and aggregate them to a csv sheet