Merge branch 'fix/andre/restore-estimate-difficulty' into 'stable/copper'
[analysis-scripts] improve and distribute estimate-difficulty executable See merge request frama-c/frama-c!4569
Showing
- .gitattributes 5 additions, 0 deletions.gitattributes
- .gitignore 9 additions, 0 deletions.gitignore
- share/analysis-scripts/build.py 33 additions, 26 deletionsshare/analysis-scripts/build.py
- share/analysis-scripts/build_callgraph.py 2 additions, 2 deletionsshare/analysis-scripts/build_callgraph.py
- share/analysis-scripts/estimate_difficulty.py 213 additions, 88 deletionsshare/analysis-scripts/estimate_difficulty.py
- share/analysis-scripts/external_tool.py 81 additions, 0 deletionsshare/analysis-scripts/external_tool.py
- share/analysis-scripts/fc-estimate-difficulty.mk 159 additions, 0 deletionsshare/analysis-scripts/fc-estimate-difficulty.mk
- share/analysis-scripts/fced-lin.Dockerfile 8 additions, 0 deletionsshare/analysis-scripts/fced-lin.Dockerfile
- share/analysis-scripts/fced-test/a.c 11 additions, 0 deletionsshare/analysis-scripts/fced-test/a.c
- share/analysis-scripts/fced-test/a.h 1 addition, 0 deletionsshare/analysis-scripts/fced-test/a.h
- share/analysis-scripts/fced-win.Dockerfile 21 additions, 0 deletionsshare/analysis-scripts/fced-win.Dockerfile
- share/analysis-scripts/fclog.py 77 additions, 0 deletionsshare/analysis-scripts/fclog.py
- share/analysis-scripts/print_callgraph.py 2 additions, 1 deletionshare/analysis-scripts/print_callgraph.py
- share/analysis-scripts/source_filter.py 9 additions, 61 deletionsshare/analysis-scripts/source_filter.py
- share/dune 2 additions, 0 deletionsshare/dune
- tests/fc_script/estimate-difficulty.t/estimate-difficulty.c 10 additions, 1 deletiontests/fc_script/estimate-difficulty.t/estimate-difficulty.c
- tests/fc_script/estimate-difficulty.t/run.t 19 additions, 8 deletionstests/fc_script/estimate-difficulty.t/run.t
Loading
Please register or sign in to comment