Supplementary source code and evaluation results for submission 44 at SSS 2021

Source code and data for submission 44, SSS 2021

Content:

+ directory src: source code

+ directory lib: libaries used by source code

+ directory graphs: input graphs (topology) for programs

+ directory results-2021: analysis and simulation data

+ run_analyze_cvf_script.sh: script for running analysis

+ run_simulation_script.sh: script for running simulation