Changes between Version 4 and Version 5 of UndertakerDeadAnalysis


Ignore:
Timestamp:
Jun 5, 2014, 5:21:35 PM (5 years ago)
Author:
sistheng
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • UndertakerDeadAnalysis

    v4 v5  
    5959}}}
    6060
    61 Here our formula for the block would be satisfiable, but there is a different problem. We assume, that all preprocessor variables that start with '''CONFIG_''' can only be enabled by the configuration programm. But as we see in the model the configuration model doesn't know anything about the symbol '''CONFIG_X'''. It is missing in the config, and can't ever be enabled. The formula for BLOCK_2 would now be:
     61Here our formula for the block would be satisfiable, but there is a different problem. We assume, that all preprocessor variables that start with '''CONFIG_''' can only be enabled by the configuration programm. But as we see in the model the configuration model doesn't know anything about the symbol '''CONFIG_X'''. It is missing in the configuration model definition, and can't ever be enabled. The formula for BLOCK_2 would now be:
    6262
    6363{{{