sv_tools.a sv_base.a sv_tie.a sv_sys.a 
src/directory svcomp
