The Memory Calculator any2mem

The auxiliary tool any2mem calculates the required size of the CTC_array used for BITCOV.

As input, the output from ctcpost -L is used with the symbol file generated in an instrumented build:

ctcpost -L MON.sym | any2mem

The output shows the size of the required array and can be used as a definition in your source code:

unsigned char CTC_array[27] = {0};

When BYTECOV is used, the compilation define -DCTC_BYTECOV used during instrumentation shall also be used as an option to any2mem:

ctcpost -L MON.sym | any2mem -DCTC_BYTECOV