add_subdirectory(seahorn)

add_subdirectory(seapp)

add_subdirectory(seainspect)


