share/analysis-scripts/make_wrapper.py · 8d11b760dec21cab57f2f289ca383a1ba4048c3a · pub / frama-c · GitLab

Snippets Groups Projects

"doc/developer/git@git.frama-c.com:pub/frama-c.git" did not exist on "4067057ae5478ebc33f1f8088324c3b54f8ddddc"

4 years ago
5fe84d36
[analysis-scripts] export FRAMAC_BIN from frama-c-script and update scripts · 5fe84d36
Andre Maroneze authored 4 years ago
```
Also use argparse for command-line parsing.
```
5fe84d36

History
[analysis-scripts] export FRAMAC_BIN from frama-c-script and update scripts
Andre Maroneze authored 4 years ago
```
Also use argparse for command-line parsing.
```