File size: 1,115 Bytes
7510827
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
[
  {
    "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"
  }
]