Updating README

avishek-sen-gupta · Jul 13, 2024 · 259637d · 259637d
1 parent 0881005
commit 259637d
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -128,7 +128,9 @@ The interpreter also supports injecting a complete execution path through the pr
 
 ![Execution Trace Graph](documentation/execution-trace-graph.png)
 
-When generating the AST and CFG, the library allows configuring them to be the same, i.e., the same nodes are reused for creating both AST and CFG connections. For example, in the screenshot below: the same CFG has CONTAINS (AST relationship), FOLLOWED_BY (CFG relationship), and the MODIFIES/ACCESSES relationships (data structure relationship). This provides a rich unified view of the entire program, without having to jump between multiple disconnected views of the source code, for analysis.
+When generating the AST and CFG, the library allows configuring them to be the same, i.e., the same nodes are reused for creating both AST and CFG connections. For example, in the screenshot below: the same CFG has ```CONTAINS``` (AST relationship), ```FOLLOWED_BY``` (CFG relationship), and the ```MODIFIES```/```ACCESSES``` relationships (data structure relationship).
+
+This provides a rich unified view of the entire program, without having to jump between multiple disconnected views of the source code, for analysis.
 
 ![Unified AST-CFG-Data Graph](documentation/unified-ast-cfg-dependency.png)