Skip to content

Draft: Btor2 correctness witness translation

Po-Chun Chien requested to merge correctness-witness-backannotation into main

Add a script that translates the invariants in an SW-witness into Btor2 format

Edited by Po-Chun Chien

Merge request reports