Making all Cpp files and Python files more sturctured

Author: MingxiuWang

Assignment-1/CMakeLists.txt

@@ -1,11 +1,24 @@
 include_directories(../ ${GTRAV_DIR})
+file(GLOB SOURCES
+        Assignment-1.cpp
+)
+list(REMOVE_ITEM SOURCES "${CMAKE_CURRENT_SOURCE_DIR}/test.cpp")
+set(LIB ${SVF_LIB} ${llvm_libs})
+add_library(assign-1 ${SOURCES})
+target_link_libraries(assign-1 ${LIB})
+set_target_properties(assign-1 PROPERTIES
+        RUNTIME_OUTPUT_DIRECTORY ${CMAKE_BINARY_DIR}/lib
+        ARCHIVE_OUTPUT_DIRECTORY ${CMAKE_BINARY_DIR}/lib
+        RUNTIME_OUTPUT_DIRECTORY ${CMAKE_BINARY_DIR}/lib
+)
 add_executable(ass1 test.cpp)
 target_link_libraries(ass1 ${LIB} assign-1)
 set_target_properties(ass1 PROPERTIES
         RUNTIME_OUTPUT_DIRECTORY ${CMAKE_BINARY_DIR}/bin)
 
 # loops over pta_assert_files and run "ass1-pta $bc_file"
-file(GLOB pta_assert_files RELATIVE ${CMAKE_CURRENT_SOURCE_DIR} "${CMAKE_CURRENT_SOURCE_DIR}/testcases/pta/*.ll")
+message(STATUS "Adding test for pta_assert_files")
+file(GLOB pta_assert_files RELATIVE ${CMAKE_CURRENT_SOURCE_DIR} "${CMAKE_CURRENT_SOURCE_DIR}/../Tests/testcases/pta/*.ll")
 foreach(filename ${pta_assert_files})
     message(STATUS "Adding test for ${filename}")
     add_test(
@@ -15,7 +28,8 @@ foreach(filename ${pta_assert_files})
     )
 endforeach()
 
-file(GLOB icfg_assert_files RELATIVE ${CMAKE_CURRENT_SOURCE_DIR} "${CMAKE_CURRENT_SOURCE_DIR}/testcases/icfg/*.ll")
+message(STATUS "Adding test for icfg_assert_files")
+file(GLOB icfg_assert_files RELATIVE ${CMAKE_CURRENT_SOURCE_DIR} "${CMAKE_CURRENT_SOURCE_DIR}/../Tests/testcases/icfg/*.ll")
 foreach(filename ${icfg_assert_files})
     add_test(
             NAME ass1-icfg/${filename}
@@ -24,7 +38,8 @@ foreach(filename ${icfg_assert_files})
     )
 endforeach()
 
-file(GLOB taint_assert_files RELATIVE ${CMAKE_CURRENT_SOURCE_DIR} "${CMAKE_CURRENT_SOURCE_DIR}/testcases/taint/*.ll")
+message(STATUS "Adding test for taint_assert_files")
+file(GLOB taint_assert_files RELATIVE ${CMAKE_CURRENT_SOURCE_DIR} "${CMAKE_CURRENT_SOURCE_DIR}/../Tests/testcases/taint/*.ll")
 foreach(filename ${taint_assert_files})
     add_test(
             NAME ass1-taint/${filename}