LCOV - code coverage report
Current view: top level - /home/alexey/klever/native-scheduler-work-dir/native-scheduler-work-dir/scheduler/jobs/032ed983781f2acce615a4df71b22f31/verifier Hit Total Coverage
Test: coverage.info Lines: 26 77 33.8 %
Date: 2017-01-25 Functions: 8 23 34.8 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
thread.c
0.0%
0.0 % 0 / 11 0.0 % 0 / 4
memory.c
24.4%24.4%
24.4 % 10 / 41 30.0 % 3 / 10
nondet.c
41.7%41.7%
41.7 % 5 / 12 40.0 % 2 / 5
common.c
77.8%77.8%
77.8 % 7 / 9 75.0 % 3 / 4
memory.h
100.0%
100.0 % 1 / 1 - 0 / 0
thread.h
100.0%
100.0 % 2 / 2 - 0 / 0
nondet.h
100.0%
100.0 % 1 / 1 - 0 / 0

Generated by: LCOV version 1.10