Crate smt2patch

The stm2patch library provides the SMT2 “patching” functionalities and configurations used by the binary tool smt2patch.

Structs

• Patcher
  State of the SMT2 patcher.
• PatcherConfig
• Rewriter
  State of the SMT2 rewriter.
• RewriterConfig
  Configuration for the SMT2 rewriting operations.