Niki
Results
1
comments of
Niki
I have uploaded the test-case [here](https://drive.google.com/drive/folders/1ee2m6QGikzRUM_KWhv3B8Q5IaGbUzbZD?usp=sharing). The stack-trace from GDB is: 0x5555562c1308 --- Program received signal SIGSEGV, Segmentation fault. 0x00005555555d3a92 in llvm::ilist_node_base::getNext (this=0x1) at /usr/local/google/home/nikign/SVF/llvm-10.0.0.obj/include/llvm/ADT/ilist_node_base.h:29 29 ilist_node_base *getNext() const {...