This T-diageam is generated based on data that is generated with the scan_trace.cpp, which parses the trace.txt file that is produced by running the task3.sh Bash script.
Blue lines link input files with output files produced during the execution of the check-tools.kaem script and verified to be equal with the equal program.
You can use the mouse to pan and zoom within the diagram shown below. Clicking on a process (a T-symbol) or a file name, will show additional information including sources, if available. If this information contains links to other processes and/or files, clicking on those link will show the element at the center of the diagram with a yellow background.