diff options
| author | 6eanut <jiakaiPeanut@gmail.com> | 2026-01-28 03:49:37 +0000 |
|---|---|---|
| committer | Alexander Potapenko <glider@google.com> | 2026-02-10 14:45:44 +0000 |
| commit | 6db02f4a9c83d9d5071b12985a1b2475db5368c4 (patch) | |
| tree | 80cc84a0e0823062222073d0932522af9d01eab5 /pkg/codesearch/testdata | |
| parent | 91d776d358daef41852d3c6541e561a616f5f523 (diff) | |
executor: use uint64 instead of uint64_t
Executor code relies on uint32/uint64 types rather than uint*_t.
Using uint64_t causes type mismatches in generated C reproducers
for programs.
Switch uint64_t to uint64 to keep executor headers consistent.
No functional changes.
Signed-off-by: 6eanut <jiakaiPeanut@gmail.com>
Diffstat (limited to 'pkg/codesearch/testdata')
0 files changed, 0 insertions, 0 deletions