LCOV - code coverage report
Current view: top level - vtg/fs/isofs/isofs.ko/linux:drivers:clk2/rsb - bug kind funcs.c (source / functions) Hit Total Coverage
Test: coverage.info Lines: 0 3 0.0 %
Date: 2017-01-25 Functions: 0 1 0.0 %

          Line data    Source code
       1             : /* http://sv-comp.sosy-lab.org/2015/rules.php */
       2             : void __VERIFIER_error(void);
       3             : void ldv_assert_linux_drivers_clk2__less_initial_decrement(int expr) {
       4           0 :         if (!expr)
       5           0 :                 __VERIFIER_error();
       6           0 : }

Generated by: LCOV version 1.10