Shadow SVCOMP's Verifier implementation by our own one#41

peterschrammel merged 1 commit intodiffblue:masterdiffblue/cprover-sv-comp:masterfrom

peterschrammel:shadow-svcomp-verifierpeterschrammel/cprover-sv-comp:shadow-svcomp-verifierCopy head branch name to clipboard