sv_tools.a sv_base.a sv_sys.a
src/interface svcomp
src/settable svcomp
src/cfgetospeed svcomp
src/cfsetospeed svcomp
src/cfgetispeed svcomp
src/cfsetispeed svcomp
src/tcgetattr svcomp
src/tcsetattr svcomp
src/tcsendbreak svcomp
src/tcdrain svcomp
src/tcflow svcomp
src/tcflush svcomp
src/tcgetpgrp svcomp
src/tcsetpgrp svcomp
