Comparability results

• Comparisons:

  • declared types: 60% as many comparisons
  • Lackwit: 5% as many comparisons; scales well

• Runtime: 40-70% improvement

• Few differences in reported invariants

Previous slide

Next slide

Back to first slide

View graphic version