Functions
	add_subdirectory (SABER) add_subdirectory(WPA) add_subdirectory(Example) add_subdirectory(DDA) add_subdirectory(MTA) add_subdirectory(CFL) add_subdirectory(LLVM2SVF) add_subdirectory(AE) set_target_properties(cfl dvf svf-ex llvm2svf mta saber wpa ae PROPERTIES RUNTIME_OUTPUT_DIRECTORY $

Function Documentation

◆ add_subdirectory()

add_subdirectory ( SABER )

Definition at line 1 of file CMakeLists.txt.

13 {CMAKE_BINARY_DIR}/bin