Merge branch 'feature/valentin/eva-summary' into 'master'
[fcscript] Add a script to monitor and summarize multiple analyses See merge request frama-c/frama-c!2208
No related branches found
No related tags found
Showing
- Makefile 14 additions, 4 deletionsMakefile
- bin/frama-c-script 9 additions, 0 deletionsbin/frama-c-script
- headers/header_spec.txt 7 additions, 2 deletionsheaders/header_spec.txt
- share/analysis-scripts/benchmark_database.py 177 additions, 0 deletionsshare/analysis-scripts/benchmark_database.py
- share/analysis-scripts/clone.sh 91 additions, 0 deletionsshare/analysis-scripts/clone.sh
- share/analysis-scripts/find_fun.py 1 addition, 1 deletionshare/analysis-scripts/find_fun.py
- share/analysis-scripts/frama_c_results.py 73 additions, 0 deletionsshare/analysis-scripts/frama_c_results.py
- share/analysis-scripts/git_utils.py 59 additions, 0 deletionsshare/analysis-scripts/git_utils.py
- share/analysis-scripts/list_files.py 1 addition, 1 deletionshare/analysis-scripts/list_files.py
- share/analysis-scripts/results_display.py 255 additions, 0 deletionsshare/analysis-scripts/results_display.py
- share/analysis-scripts/summary.py 219 additions, 0 deletionsshare/analysis-scripts/summary.py
Loading
Please register or sign in to comment