Merge pull request #134 from bjjwwang/master

change a option name
SVF-tools · Feb 27, 2024 · 3a88ea3 · 3a88ea3
2 parents 1490a0a + 423e04d
commit 3a88ea3
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -311,7 +311,7 @@ endforeach()
 foreach(filename ${ae_assert_files})
   add_test(
           NAME ae_assert_tests/${filename}-simicfg
-          COMMAND ae -simplify-icfg ${CMAKE_CURRENT_SOURCE_DIR}/${filename}
+          COMMAND ae -icfg-merge-adjnodes ${CMAKE_CURRENT_SOURCE_DIR}/${filename}
           WORKING_DIRECTORY ${CMAKE_BINARY_DIR}/bin
   )
 endforeach()
@@ -330,7 +330,7 @@ endforeach()
 foreach(filename ${ae_overflow_files})
   add_test(
           NAME ae_overflow_tests/${filename}-simicfg
-          COMMAND ae -overflow -simplify-icfg -field-limit=1024 ${CMAKE_CURRENT_SOURCE_DIR}/${filename}
+          COMMAND ae -overflow -icfg-merge-adjnodes -field-limit=1024 ${CMAKE_CURRENT_SOURCE_DIR}/${filename}
           WORKING_DIRECTORY ${CMAKE_BINARY_DIR}/bin
   )
 endforeach()