Point to witness validation script in CPAchecker
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).
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).