[
  {
    "function_name": "sqlite3BitvecTestNotNull",
    "function_signature": "int sqlite3BitvecTestNotNull(Bitvec *p, u32 i)",
    "test_filename": "tests_bitvec_sqlite3BitvecTestNotNull.c"
  },
  {
    "function_name": "sqlite3BitvecSet",
    "function_signature": "int sqlite3BitvecSet(Bitvec *p, u32 i)",
    "test_filename": "tests_bitvec_sqlite3BitvecSet.c"
  },
  {
    "function_name": "sqlite3BitvecClear",
    "function_signature": "void sqlite3BitvecClear(Bitvec *p, u32 i, void *pBuf)",
    "test_filename": "tests_bitvec_sqlite3BitvecClear.c"
  },
  {
    "function_name": "sqlite3BitvecDestroy",
    "function_signature": "void sqlite3BitvecDestroy(Bitvec *p)",
    "test_filename": "tests_bitvec_sqlite3BitvecDestroy.c"
  },
  {
    "function_name": "showBitvec",
    "function_signature": "static void showBitvec(Bitvec *p, int n, unsigned x)",
    "test_filename": "tests_bitvec_showBitvec.c"
  },
  {
    "function_name": "sqlite3BitvecBuiltinTest",
    "function_signature": "int sqlite3BitvecBuiltinTest(int sz, int *aOp)",
    "test_filename": "tests_bitvec_sqlite3BitvecBuiltinTest.c"
  }
]