Code Examples

• instrumenter
• simplify()ing the rhs of a statement (two ways)
• adding a switch to Polaris
• adding a directive/assertion to Polaris
  • Terminology
  • Adding a new assertion