ESBMC Coverage Report

branch coverage
1/2 (50.0%)
Source File Claims Covered Uncovered Coverage Bar
main.c 2 1 1 50.0%
Generated by ESBMC cov-report.py