Merge branch 'fix/andre/analysis-scripts-make-wrapper-recursion' into 'stable/vanadium'
[analysis-scripts] fix tips for recursion in make-wrapper; add test See merge request frama-c/frama-c!3199
No related branches found
No related tags found
Showing
- share/analysis-scripts/make_wrapper.py 28 additions, 19 deletionsshare/analysis-scripts/make_wrapper.py
- tests/fc_script/make-wrapper.c 9 additions, 0 deletionstests/fc_script/make-wrapper.c
- tests/fc_script/oracle/heuristic_list_functions.res 3 additions, 1 deletiontests/fc_script/oracle/heuristic_list_functions.res
- tests/fc_script/oracle/make-wrapper.res 26 additions, 5 deletionstests/fc_script/oracle/make-wrapper.res
Loading
Please register or sign in to comment