Suppress redundancies

• Avoid deriving variables: suppress 25-50%

  • equal to another variable
  • nonsensical

• Avoid checking invariants:

  • false invariants: trivial improvement
  • true invariants: suppress 90%

• Avoid reporting trivial invariants:suppress 25%

Previous slide

Next slide

Back to first slide

View graphic version