Skip to content

Small speedup of `prepare_instrumentation.sh` script

Certain libraries, such as lib_rend/ and lib_lc3plus/, are re-instrumented by the WMC tool during the prepare_instrumentation.sh script execution. The de-instrumentation step takes more time than re-writing the .c files and instrumenting them from scratch.