User Guide

This guide covers some more advanced topics of using ddSMT.

• Minimization Strategies
  • The ddmin Strategy
  • The hierarchical Strategy
  • The hybrid Strategy
• Mutators
  • How to Enable and Disable Mutators
  • Generic Mutators
  • SMT-LIB Mutators
  • Arithmetic Mutators
  • Bit-vector Mutators
  • Boolean Mutators
  • Datatype Mutators
  • Floating-Point mutators
  • String mutators
  • Writing New Mutators
• Common Scenarios
  • Debugging Unsoundness
  • Debugging Performance Issues
  • Eliminate let Binders
• How to Speed Up Delta Debugging
  • How to Identify Which Side is The Bottleneck
  • The Solver Side is Slow
  • The ddSMT Side is Slow