Actions
Feature #10112
closed'--no-phase' command line option for 'cfg-gadd-transformer' engine
Start date:
02/12/2020
Due date:
% Done:
100%
Estimated time:
Published in build:
1.1.3-beta-230504
Description
An option for CFG-to-GADD transformer engines that creates phase-free GADD.
Working in this mode, the engine elaborates all the execution paths of the target CFG, so, being enabled, the option cause more intensive computing resources consumption.
Actions