Skip to content

Point to witness validation script in CPAchecker

🤖 SoSy-Bot 🤖 requested to merge 15-validation-script into main

Created by: MartinSpiessl

We want to do this instead of having a separate copy in this repo that gets oudated and not working over time. This fixes issue #15 (closed).

Merge request reports