damnjanovictanja/VSProject

Master Studies' project as part of Software Verification course. Using information about symbolic execution of program provided by KLEE tool, generate picture of execution tree automatically. Most of the code is done using Python, and one .sh script to run all commands.

Python