Project

General

Profile

Feature #4058

CLI: Enable dumping a SMTLibv2 file from a DSE project

Added by Alexander Diewald about 2 months ago. Updated 4 days ago.

Status:
Closed
Priority:
Normal
Assignee:
-
Category:
-
Start date:
08/28/2020
Due date:
% Done:

100%

Estimated time:
1.00 h

ff1.af3_23 (7.42 MB) ff1.af3_23 Alexander Diewald, 08/31/2020 06:20 PM

History

#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

MR: https://git.fortiss.org/af3/af3/-/merge_requests/365

Testing:
  • 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.

#2 Updated by Alexander Diewald about 1 month ago

  • Assignee changed from Alexander Diewald to Simon Barner

#3 Updated by Simon Barner about 1 month ago

  • Assignee changed from Simon Barner to Johannes Eder

Merged, please close.

#4 Updated by Johannes Eder 4 days ago

  • Status changed from Resolved to Closed
  • Assignee deleted (Johannes Eder)

Also available in: Atom PDF