Disregard duplicate values

• Idea: count a value only if its var was just modified

• Front end outputs modification bit per value

  • compared techniques for eliminating duplicates

• Result: eliminates undesired invariants

Previous slide

Next slide

Back to first slide

View graphic version