LCOV - code coverage report
Current view: top level - tools - clean-sat.c (source / functions) Hit Total Coverage
Test: coverage.info Lines: 0 9 0.0 %
Date: 2015-11-05 17:10:59 Functions: 0 1 0.0 %

Function Name Sort by function name Hit count Sort by hit count
main 0

Generated by: LCOV version 1.11