List of all items

Structs

• ExplorationConfig
• assertion_slots::AssertionSlot
• assertion_slots::AssertionSlotSnapshot
• context::ExplorerCtx
• coverage::CoverageBitmap
• coverage::ExploredMap
• each_buckets::EachBucket
• energy::EnergyBudget
• replay::ParseTimelineError
• shared_stats::ExplorationStats
• shared_stats::SharedRecipe
• shared_stats::SharedStats
• split_loop::AdaptiveConfig

Enums

• assertion_slots::AssertCmp
• assertion_slots::AssertKind
• split_loop::Parallelism

Functions

• assertion_slots::assertion_bool
• assertion_slots::assertion_numeric
• assertion_slots::assertion_read_all
• assertion_slots::assertion_sometimes_all
• assertion_slots::msg_hash
• cleanup
• cleanup_assertions
• context::explorer_is_active
• context::explorer_is_child
• context::get_assertion_table_ptr
• context::set_rng_hooks
• each_buckets::assertion_sometimes_each
• each_buckets::each_bucket_read_all
• each_buckets::unpack_quality
• energy::decrement_mark_energy
• energy::init_energy_budget
• energy::init_mark_budget
• energy::reset_energy_budget
• energy::return_mark_energy_to_pool
• explored_map_bits_set
• init
• init_assertions
• prepare_next_seed
• replay::format_timeline
• replay::parse_timeline
• reset_assertions
• sancov::__sanitizer_cov_8bit_counters_init
• sancov::__sanitizer_cov_pcs_init
• sancov::cleanup_sancov_shared
• sancov::clear_transfer_buffer
• sancov::copy_counters_to_shared
• sancov::get_or_init_sancov_pool
• sancov::has_new_sancov_coverage
• sancov::has_new_sancov_coverage_from
• sancov::init_sancov_shared
• sancov::reset_bss_counters
• sancov::sancov_edge_count
• sancov::sancov_edges_covered
• sancov::sancov_is_available
• sancov::sancov_pool_slot
• shared_mem::alloc_shared
• shared_mem::free_shared
• shared_stats::decrement_energy
• shared_stats::get_bug_recipe
• shared_stats::get_exploration_stats
• shared_stats::init_shared_recipe
• shared_stats::init_shared_stats
• shared_stats::reset_shared_recipe
• shared_stats::reset_shared_stats
• simulations::adaptive::get_count
• simulations::adaptive::next_random
• simulations::adaptive::random_below
• simulations::adaptive::reseed
• simulations::adaptive::run_adaptive_dungeon_floors
• simulations::adaptive::run_adaptive_energy_budget
• simulations::adaptive::run_adaptive_maze_cascade
• split_loop::exit_child
• split_loop::split_on_discovery

Constants

• assertion_slots::ASSERTION_TABLE_MEM_SIZE
• assertion_slots::MAX_ASSERTION_SLOTS
• coverage::COVERAGE_MAP_SIZE
• each_buckets::EACH_BUCKET_MEM_SIZE
• each_buckets::MAX_EACH_BUCKETS
• each_buckets::MAX_EACH_KEYS
• sancov::SANCOV_POOL
• sancov::SANCOV_POOL_SLOTS
• sancov::SANCOV_TRANSFER
• shared_stats::MAX_RECIPE_ENTRIES
• simulations::adaptive::CALL_COUNT
• simulations::adaptive::RNG_STATE