Skip to content

Misc. Tips

Gabriel Bessler edited this page Jun 2, 2021 · 1 revision

Useful REPL Features

Arrow keys can be used to bring up previous commands. Command history is preserved across REPL sessions (note: sometimes this history is lost if the REPL crashes or we forcefully exit - use the quit command to make sure this does not happen).

REPL Commands

Refer to the wiki or type help in the REPL.

Analyzing Control Flow Graphs

If you would like a pictorial representation of the graphs, it is possible to use the 'export' command to generate '.dot' files. There are many tools to visualize this type of file such as xdot. Running xdot <file> will generate an image that can be opened to see the graph. GraphvizOnline is another great tool to easily visualize and modify these graphs.

Clone this wiki locally