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: 21 76 27.6 %
Date: 2017-01-25 Functions: 6 23 26.1 %

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
nondet.c
16.7%16.7%
16.7 % 2 / 12 20.0 % 1 / 5
memory.c
24.4%24.4%
24.4 % 10 / 41 30.0 % 3 / 10
common.c
66.7%66.7%
66.7 % 6 / 9 50.0 % 2 / 4
nondet.h
100.0%
100.0 % 1 / 1 - 0 / 0
memory.h
100.0%
100.0 % 1 / 1 - 0 / 0
thread.h
100.0%
100.0 % 1 / 1 - 0 / 0

Generated by: LCOV version 1.10