revert back to svf-ex for andersen's write/read

yuleisui · yuleisui · commit b793d830ca8b · 2025-10-03T20:26:11.000+10:00
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -141,11 +141,13 @@ foreach(folder ${diff_tests_anderson_folders})
     )
 
     # read and write ander
+    # change file extension to .pre.bc
+    string(REGEX REPLACE "[.]bc$" ".pre.svf.bc" readFile ${CMAKE_CURRENT_SOURCE_DIR}/${filename})
     add_test(
       NAME diff_tests-wr-ander/ander-read-write/${filename}
       COMMAND ${CMAKE_CURRENT_SOURCE_DIR}/diff_tests/difftest.py
         "svf-ex -ander -alias-check=false -dump-icfg -print-pts -write-ander=ir_annotator"
-        "wpa -ander -alias-check=false -dump-icfg -print-pts -read-ander=ir_annotator"
+        "svf-ex -ander -alias-check=false -dump-icfg -print-pts -read-ander=ir_annotator"
         ${CMAKE_CURRENT_SOURCE_DIR}/${filename} ${readFile}
       WORKING_DIRECTORY ${CMAKE_BINARY_DIR}/bin
     )

Original file line number	Diff line number	Diff line change
`@@ -141,11 +141,13 @@ foreach(folder ${diff_tests_anderson_folders})`
`141`	`141`	`)`
`142`	`142`
`143`	`143`	`# read and write ander`
	`144`	`+ # change file extension to .pre.bc`
	`145`	`+ string(REGEX REPLACE "[.]bc$" ".pre.svf.bc" readFile ${CMAKE_CURRENT_SOURCE_DIR}/${filename})`
`144`	`146`	`add_test(`
`145`	`147`	`NAME diff_tests-wr-ander/ander-read-write/${filename}`
`146`	`148`	`COMMAND ${CMAKE_CURRENT_SOURCE_DIR}/diff_tests/difftest.py`
`147`	`149`	`"svf-ex -ander -alias-check=false -dump-icfg -print-pts -write-ander=ir_annotator"`
`148`		`- "wpa -ander -alias-check=false -dump-icfg -print-pts -read-ander=ir_annotator"`
	`150`	`+ "svf-ex -ander -alias-check=false -dump-icfg -print-pts -read-ander=ir_annotator"`
`149`	`151`	`${CMAKE_CURRENT_SOURCE_DIR}/${filename} ${readFile}`
`150`	`152`	`WORKING_DIRECTORY ${CMAKE_BINARY_DIR}/bin`
`151`	`153`	`)`