CLI: Enable dumping a SMTLibv2 file from a DSE project
#1 Updated by Alexander Diewald about 2 months ago
- File ff1.af3_23 ff1.af3_23 added
- Status changed from In Progress to Resolved
- % Done changed from 0 to 100
- Create a new launch cfg.
- Start AF3 and import the attached project.
- Shutdown AF3.
- Add "--dump-smtlib ff1/DSE/Deployment --shutdown" to the arguments of the new launch cfg.
- Install the SMT CVC4 to your machine.
- Let the CVC4 check the generated SMT file and observe the SAT statement of the solver.