Common use of TFA Execution Clause in Contracts

TFA Execution. ‌ Once parsed and checked against the TFA module capabilities, the Shadow Builder will be in charge of translating configuration into source code. The translated sources will also be achieved in coop- eration with the TFA module. At the end of this step, the TFA will generate the new forged source code ready for compilation. In addition to patched source code, the TFA will generate scripts that will the benchmarks.

TFA Execution. ‌ Once parsed and checked against the TFA module capabilities, the Shadow Builder will be shadow builder is in charge of translating configuration instrumented code into source code. The source is translated sources will also be achieved in coop- eration cooperation with the TFA module. At the end of this step, the TFA will generate generates the new forged source code ready for compilation. In addition to patched the forged source code, the TFA will generate scripts that will the execute the benchmarks.