Update svf-ex.cpp

bjjwwang · Mar 13, 2024 · 17e10b3 · 17e10b3
1 parent 087d4a0
commit 17e10b3
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/svf-llvm/tools/Example/svf-ex.cpp b/svf-llvm/tools/Example/svf-ex.cpp
@@ -236,6 +236,7 @@ int main(int argc, char ** argv)
 
     /// ICFG
     ICFG* icfg = pag->getICFG();
+    icfg->dump("icfg");
 
     /// Value-Flow Graph (VFG)
     VFG* vfg = new VFG(callgraph);