Crate smt2patch[−][src]
Expand description
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. |