Cannot find `runtest.sh`?

[zhangysh1995]

I'm following the readme,

 cd $SVFHome
 . ./setup
 cd PTABen
 ./runtest.sh (or ./singlerun.sh basic_c_tests/global-funptr.c)

However, I cannot run the second cd and there is no runtest.sh:

zhangys@xxx:~/utility/SVF$ . ./setup.sh 
Setting up environment for SVF
LLVM_DIR = /home/zhangys/llvm10binary
zhangys@xxx:~/utility/SVF$ cd PTABen
-bash: cd: PTABen: No such file or directory
zhangys@xxx:~/utility/SVF$ cd Test-Suite/
zhangys@xxx:~/utility/SVF/Test-Suite$ ls
aliascheck.h     clean.sh        cpp_types  generate_bc.sh  mta                  README.md
basic_cpp_tests  CMakeLists.txt  cs_tests   graphtxt        non_annotated_tests  singlerun.sh
basic_c_tests    complex_tests   fs_tests   mem_leak        path_tests           test_cases_bc
zhangys@xxx:~/utility/SVF/Test-Suite$ cd PTABen
-bash: cd: PTABen: No such file or directory
zhangys@xxx:~/utility/SVF/Test-Suite$ ./runtest.sh
-bash: ./runtest.sh: No such file or directory
zhangys@xxx:~/utility/SVF/Test-Suite$ find . -type f -name "runtest.sh"
zhangys@xxx:~/utility/SVF/Test-Suite$ 

Then I got issue with running singlerun.sh:

zhangys@xxx:~/utility/SVF/Test-Suite$ ./singlerun.sh test_cases_bc/test-su.c.bc 
test_cases_bc/test-su.c.bc
@@@analyzing test_cases_bc/test-su.c.c with testwpa.sh
./singlerun.sh: line 53: /home/zhangys/utility/SVF/PTABen/scripts/testwpa.sh: No such file or directory
analysis finished

[yuleisui]

The test suite has recently been significantly changed to adapt to CMake system. My students are working on that. For now, you may wish just to compile files on your own.

[KunPengRen]

Is it ok for running testcases by CMake system? I runed cmake . and make, it doesn't output anything.

[yuleisui]

See this https://github.com/SVF-tools/SVF/blob/master/CMakeLists.txt#L55-L57

Once SVF is built, it will download Test-Suite and run against the tests using ctest