Summary of the example with logical expressions

These 4 instructions can now be used by LF‑ET when calculating test cases to recognize all rule sequences that are not executable and prevent them from being used in test cases:

from 003 xcf log
 

All details of internal processing of individual instructions du­ring test case generation can be followed in detail in the Determining permissible condition values log.