Summary of the example with numerical operations

These 4 test 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 num
 

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.