Generating Code2fn Coverage Report

Generating a report for a single model

python skema/program_analysis/model_coverage_report/model_coverage_report.py /path/to/output/dir/ single NAME-OF-MODEL

Generating a report for all models

python skema/program_analysis/model_coverage_report/model_coverage_report.py /path/to/output/dir/ all

Output directory structure

report.html - The generated report html document
data/
  - tree-sitter/ - The tree-sitter parse trees for each file in each model.
  - cast/ - The cast for each file in each model.
  - gromet/ - The Gromet for each file in each model.
  - full_gromet/ - The full Gromet for each model.