code wiki / (root) / nx_kv_store_test.nx

nx_kv_store_test.nx

buildroot/runtime/nx_kv_store_test.nx

6191 B133 linesdepth 3pulls 4 transitivereach 0 importersview sourcekind gate/prooftopic kv
docsdependenciesstructsconstsfunctions

about

nx_kv_store_test.nx -- smoke for append-only KV store. expect_exit: 0 license_tier: ORIGINAL

dependencies 2 imports · 0 importers

nx_syscalls_x86_64.nx nx_kv_store.nx nx_kv_store_test.nx

imports: nx_syscalls_x86_64.nxnx_kv_store.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main nxkv_verdict_is_valid bytes_eq nxkv_verdict_name nx_kv_store_init nx_kv_store_len nx_kv_store_bytes_used nx_kv_store_put nxkv_put_u32_be nxkv_fnv1a_64 nxkv_index_set_entry nxkv_index_entry_offset nxkv_put_i64_be nx_kv_store_get nxkv_fnv1a_64 ↻ nxkv_find_record_off nxkv_index_get_hash nxkv_get_i64_be nxkv_index_entry_offset ↻ nxkv_index_get_record_off nxkv_get_i64_be ↻ nxkv_index_entry_offset ↻ nxkv_get_u32_be nxkv_get_u32_be ↻ nx_kv_store_contains nxkv_fnv1a_64 ↻ nxkv_find_record_off ↻ nx_kv_store_replay nxkv_get_u32_be ↻ nxkv_fnv1a_64 ↻ nxkv_index_set_entry ↻

structs

none

consts

none

functions

10func bytes_eq(a: *u8, b: *u8, n: i64) -> i64
called by 1: main
19func main() -> i64
calls 10: nxkv_verdict_is_validbytes_eqnxkv_verdict_namenx_kv_store_initnx_kv_store_lennx_kv_store_bytes_used+4