Actions
Feature #10112
open'--no-phase' command line option for 'cfg-gadd-transformer' engine
Start date:
02/12/2020
Due date:
% Done:
100%
Estimated time:
Published in build:
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.
Updated by Sergey Smolov about 3 years ago
- Status changed from New to Resolved
- % Done changed from 0 to 100
Done in 0492e536
Updated by Sergey Smolov about 3 years ago
- Subject changed from '--no-phase' option for cfg-gadd-transformer to '--no-phase' command line option for 'cfg-gadd-transformer' engine
Actions