Skip to content

add uautomizer validator for YAML witnesses

Dominik Klumpp requested to merge ultimate-pa/bench-defs:uautomizer-validator-2.0 into main

This MR adds uautomizer as a validator for correctness witnesses in the new YAML format (2.0).

Merge request reports