share/analysis-scripts/make_wrapper.py · 7427cbd57cc1d73eaf667abb43b378680b952862 · pub / frama-c

5 years ago

[frama-c-script] improve output of make-wrapper · 7427cbd5

Andre Maroneze authored 5 years ago and

Andre Maroneze committed 4 years ago

Currently, make-wrapper must wait for the process to finish before outputting
its result. This patch ensures the output is displayed continuously during
the execution of Eva.

7427cbd5

History

[frama-c-script] improve output of make-wrapper

Andre Maroneze authored 5 years ago and

Andre Maroneze committed 4 years ago

Currently, make-wrapper must wait for the process to finish before outputting
its result. This patch ensures the output is displayed continuously during
the execution of Eva.