[
  {
    "function_name": "checkMutexFree",
    "function_signature": "static void checkMutexFree(sqlite3_mutex *p)",
    "test_filename": "tests_mutex_checkMutexFree.c"
  },
  {
    "function_name": "checkMutexEnter",
    "function_signature": "static void checkMutexEnter(sqlite3_mutex *p)",
    "test_filename": "tests_mutex_checkMutexEnter.c"
  },
  {
    "function_name": "sqlite3MutexInit",
    "function_signature": "int sqlite3MutexInit(void)",
    "test_filename": "tests_mutex_sqlite3MutexInit.c"
  },
  {
    "function_name": "sqlite3MutexEnd",
    "function_signature": "int sqlite3MutexEnd(void)",
    "test_filename": "tests_mutex_sqlite3MutexEnd.c"
  }
]