Branch data     Line data    Source code

       1                 :            : // Copyright 2011-2021 David Robillard <d@drobilla.net>
       2                 :            : // SPDX-License-Identifier: ISC
       3                 :            : 
       4                 :            : #undef NDEBUG
       5                 :            : 
       6                 :            : #include <exess/exess.h>
       7                 :            : 
       8                 :            : #include <assert.h>
       9                 :            : #include <string.h>
      10                 :            : 
      11                 :            : int
      12                 :          1 : main(void)
      13                 :            : {
      14         [ +  + ]:         22 :   for (ExessStatus i = EXESS_SUCCESS; i <= EXESS_UNSUPPORTED;
      15                 :         21 :        i             = (ExessStatus)(i + 1)) {
      16         [ -  + ]:         21 :     assert(strlen(exess_strerror(i)) > 0);
      17                 :            :   }
      18                 :            : 
      19         [ -  + ]:          1 :   assert(!strcmp(exess_strerror((ExessStatus)-1), "Unknown error"));
      20         [ -  + ]:          1 :   assert(!strcmp(exess_strerror((ExessStatus)9999), "Unknown error"));
      21                 :            : 
      22                 :          1 :   return 0;
      23                 :            : }