Merge branch 'feature/andre/analysis-scripts-add-types' into 'master'
[analysis-scripts] add type annotations in Python scripts See merge request frama-c/frama-c!3973
No related branches found
No related tags found
Showing
- share/analysis-scripts/benchmark_database.py 1 addition, 1 deletionshare/analysis-scripts/benchmark_database.py
- share/analysis-scripts/build.py 33 additions, 28 deletionsshare/analysis-scripts/build.py
- share/analysis-scripts/build_callgraph.py 14 additions, 14 deletionsshare/analysis-scripts/build_callgraph.py
- share/analysis-scripts/estimate_difficulty.py 3 additions, 3 deletionsshare/analysis-scripts/estimate_difficulty.py
- share/analysis-scripts/list_files.py 4 additions, 7 deletionsshare/analysis-scripts/list_files.py
- share/analysis-scripts/make_wrapper.py 29 additions, 24 deletionsshare/analysis-scripts/make_wrapper.py
- share/analysis-scripts/normalize_jcdb.py 0 additions, 1 deletionshare/analysis-scripts/normalize_jcdb.py
- share/analysis-scripts/source_filter.py 17 additions, 16 deletionsshare/analysis-scripts/source_filter.py
- share/analysis-scripts/summary.py 2 additions, 0 deletionsshare/analysis-scripts/summary.py
Loading
Please register or sign in to comment