LCOV - code coverage report
Current view: top level - external/picosat - version.c (source / functions) Hit Total Coverage
Test: rapport Lines: 0 4 0.0 %
Date: 2021-12-10 16:22:55 Functions: 0 2 0.0 %
Branches: 0 0 - 

           Branch data     Line data    Source code
       1                 :            : #define PICOSAT_VERSION "965"
       2                 :            : 
       3                 :            : const char *
       4                 :          0 : picosat_version (void)
       5                 :            : {
       6                 :          0 :   return PICOSAT_VERSION;
       7                 :            : }
       8                 :            : 
       9                 :            : const char *
      10                 :          0 : picosat_config (void)
      11                 :            : {
      12                 :          0 :   return "";
      13                 :            : }
      14                 :            :

Generated by: LCOV version 1.15