Support scripts for SV-COMP related tasks.#30

Open

tautschnig wants to merge 1 commit intodiffblue:masterfrom tautschnig:scripts-from-marek

+1,653

Commits on Apr 3, 2018

Suport scripts for SV-COMP related tasks.

marek-trtik
authored and
tautschnig
committed