LCOV - code coverage report | ||||||||||||||||||||||
![]() | ||||||||||||||||||||||
|
||||||||||||||||||||||
![]() |
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 |