Closed rdaly525 closed 3 years ago
Stages the generation of the final SMT query in order to enable custom pretty printing Also adds a flag to use temporary SMT variables for the inputs of IR and Arch for the sake of debugging.
Stages the generation of the final SMT query in order to enable custom pretty printing Also adds a flag to use temporary SMT variables for the inputs of IR and Arch for the sake of debugging.