share/analysis-scripts/estimate_difficulty.py · 8e7c637028a55cf74235af257085c6d3baaa8cc3 · pub / frama-c

"src/plugins/git@git.frama-c.com:pub/frama-c.git" did not exist on "37b7aec46cbd487ff43bf0b715c67fd62461fac2"

3 years ago

[analysis-scripts] improve and distribute estimate-difficulty executable · 8e7c6370

Andre Maroneze authored 3 years ago

Allow estimate-difficulty to be exported (in Linux/macOS/Windows) as
independent executable, so that it can be used without having to install
Frama-C.

8e7c6370

History

[analysis-scripts] improve and distribute estimate-difficulty executable

Andre Maroneze authored 3 years ago

Allow estimate-difficulty to be exported (in Linux/macOS/Windows) as
independent executable, so that it can be used without having to install
Frama-C.