PV2 ⊧ LLVM to SMTencodes a control flow graph as an SMT formula

Links

• Last commit date: 21 Apr 2018 (default branch)
• Last commit date: 21 Apr 2018 (last activity)

ProVerB specific

• Markdown description: view/edit
• Contained in the ProVerB22 dataset (paper + artefact)