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: 31 76 40.8 %
Date: 2017-01-25 Functions: 9 23 39.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
memory.c
41.5%41.5%
41.5 % 17 / 41 50.0 % 5 / 10
nondet.c
41.7%41.7%
41.7 % 5 / 12 40.0 % 2 / 5
common.c
66.7%66.7%
66.7 % 6 / 9 50.0 % 2 / 4
nondet.h
100.0%
100.0 % 1 / 1 - 0 / 0
thread.h
100.0%
100.0 % 1 / 1 - 0 / 0
memory.h
100.0%
100.0 % 1 / 1 - 0 / 0

Generated by: LCOV version 1.10