sv_cmd.a  sv_sys.a sv_tools.a
driver svcomp
clraccess svcomp
setaccess svcomp
validate svcomp
