DotNS Test Report

Generated 2026-08-12 05:57 UTC | 6 suites

Status

All Passed

Total

39

Passed

39

Failed

0

DotnsNameEscrowInvariantTesttest/invariant/escrow/DotnsNameEscrowInvariant.t.sol
9/9
Test Result Error
invariant_claimed_positions_have_zero_amount PASS
invariant_no_funds_in_controller PASS
invariant_position_recipient_mirrors_current_nft_holder PASS
invariant_protocol_fees_match_tracked_inflows PASS
invariant_released_count_consistent PASS
invariant_released_tokens_in_escrow_custody PASS
invariant_reserves_match_positions PASS
invariant_solvency PASS
invariant_withdrawn_tokens_are_in_escrow_custody_and_available PASS
DotnsPopControllerInvarianttest/invariant/registrar/DotnsPopControllerInvariant.t.sol
11/11
Test Result Error
invariant_every_minted_tokenId_has_nonempty_label PASS
invariant_fullClaim_liteLink_are_inverse PASS
invariant_no_stale_fullClaim PASS
invariant_no_stale_liteLink PASS
invariant_no_stuck_lapsed_pending_claims PASS
invariant_one_reservation_per_account_consistent PASS
invariant_pendingClaimUserCount_matches_enumeration_length PASS
invariant_pendingClaimUsers_mirrors_pendingClaims_mapping PASS
invariant_pending_claim_and_label_store_are_mutually_exclusive PASS
invariant_popRules_head_matches_queue_head_or_zero PASS
invariant_queue_length_bounded PASS
DotnsRegistrarControllerInvariantTesttest/invariant/registrar/DotnsRegistrarControllerInvariant.t.sol
10/10
Test Result Error
invariant_consumed_commitments_deleted PASS
invariant_current_owners_have_label_in_store PASS
invariant_no_stuck_funds PASS
invariant_ownership_consistency PASS
invariant_registered_names_unavailable PASS
invariant_registration_count_consistent PASS
invariant_reserved_names_have_reverse_resolution PASS
invariant_store_entries_locked PASS
invariant_transfer_recipients_have_store_entries PASS
invariant_value_conservation PASS
DotnsRegistrarControllerRoleInvariantTesttest/invariant/registrar/DotnsRegistrarControllerRoleInvariant.t.sol
1/1
Test Result Error
invariant_whitelist_operator_role_matches_ghost_state PASS
DotnsRegistryInvariantTesttest/invariant/registry/DotnsRegistryInvariant.t.sol
3/3
Test Result Error
invariant_parent_can_always_reassign_subnodes PASS
invariant_subnode_owner_authorized PASS
invariant_subnodes_always_exist PASS
StoreInvariantTesttest/invariant/store/StoreInvariant.t.sol
5/5
Test Result Error
invariant_at_most_one_store_of_each_type_per_user PASS
invariant_enumeration_matches_counters PASS
invariant_factory_owns_both_beacons PASS
invariant_locked_label_text_never_changes PASS
invariant_locked_labels_never_unlock PASS