code wiki / (root) / sketch_bit_vector_test.nx

sketch_bit_vector_test.nx

buildroot/runtime/sketch_bit_vector_test.nx

4378 B117 linesdepth 5pulls 5 transitivereach 0 importersview sourcekind gate/prooftopic sketch
docsdependenciesstructsconstsfunctions

about

sketch_bit_vector_test.nx -- dense bit vector verification.

dependencies 3 imports · 0 importers

syscalls.nx sketch_bit_vector.nx sketch_types.nx sketch_bit_vector_test.nx

imports: syscalls.nxsketch_bit_vector.nxsketch_types.nx

imported by: nobody (leaf or entry point)

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

main nx_bv_alloc nx_bv_get nx_bv_popcount nx_bv_recompute_popcount nx_bv_popcount_byte nx_bv_ffs nx_bv_get ↻ nx_bv_ffc nx_bv_get ↻ nx_bv_set nx_bv_clear nx_bv_toggle nx_bv_popcount_range nx_bv_get ↻ nx_bv_and nx_bv_or nx_bv_xor nx_bv_not nx_bv_query_popcount nx_bv_popcount ↻ nx_approx_new nx_bv_clear_all

structs

none

consts

none

functions

7func main() -> i64 {
calls 15: nx_bv_allocnx_bv_getnx_bv_popcountnx_bv_ffsnx_bv_ffcnx_bv_set+9