<?xml version="1.0" encoding="utf-8"?><testsuites name="pytest tests"><testsuite name="pytest" errors="0" failures="0" skipped="0" tests="73" time="3.789" timestamp="2026-08-17T15:03:13.052575+08:00" hostname="cuda-ke"><testcase classname="test.test_schedule_exploration.ScheduleExplorationTests" name="test_bounded_dpor_generates_conflicting_mutex_prefix" time="0.001" /><testcase classname="test.test_schedule_exploration.ScheduleExplorationTests" name="test_condition_wait_updates_lockset_without_assuming_wake_hb" time="0.000" /><testcase classname="test.test_schedule_exploration.ScheduleExplorationTests" name="test_condpor_backward_revisit_and_maximal_extension" time="0.001" /><testcase classname="test.test_schedule_exploration.ScheduleExplorationTests" name="test_condpor_rejects_causal_or_protected_revisit" time="0.000" /><testcase classname="test.test_schedule_exploration.ScheduleExplorationTests" name="test_condpor_revisit_identity_persists_across_observations" time="0.001" /><testcase classname="test.test_schedule_exploration.ScheduleExplorationTests" name="test_condpor_uses_value_bound_native_read_from_evidence" time="0.001" /><testcase classname="test.test_schedule_exploration.ScheduleExplorationTests" name="test_condpor_withholds_path_dependent_suffix_for_replay" time="0.001" /><testcase classname="test.test_schedule_exploration.ScheduleExplorationTests" name="test_happens_before_tracks_lock_release_acquire" time="0.000" /><testcase classname="test.test_schedule_exploration.ScheduleExplorationTests" name="test_independent_objects_do_not_generate_replay" time="0.001" /><testcase classname="test.test_schedule_exploration.ScheduleExplorationTests" name="test_joint_path_schedule_read_from_solver" time="0.036" /><testcase classname="test.test_schedule_exploration.ScheduleExplorationTests" name="test_lockset_suppresses_protected_memory_conflict" time="0.000" /><testcase classname="test.test_schedule_exploration.ScheduleExplorationTests" name="test_memory_conflict_generates_source_backtrack_prefix" time="0.001" /><testcase classname="test.test_schedule_exploration.ScheduleExplorationTests" name="test_native_condpor_binds_value_evidence_and_rejects_tamper" time="0.089" /><testcase classname="test.test_schedule_exploration.ScheduleExplorationTests" name="test_native_condpor_distinguishes_sc_tso_and_ra_store_buffering" time="0.193" /><testcase classname="test.test_schedule_exploration.ScheduleExplorationTests" name="test_native_condpor_enumerates_coherence_and_reports_truncation" time="0.116" /><testcase classname="test.test_schedule_exploration.ScheduleExplorationTests" name="test_native_condpor_ra_release_acquire_forbids_stale_data" time="0.065" /><testcase classname="test.test_schedule_exploration.ScheduleExplorationTests" name="test_operational_enabledness_and_terminal_certificate" time="0.001" /><testcase classname="test.test_schedule_exploration.ScheduleExplorationTests" name="test_prefix_file_and_preload_helpers" time="0.001" /><testcase classname="test.test_schedule_exploration.ScheduleExplorationTests" name="test_ra_fence_sc_order_race_and_mixed_size_rules" time="0.039" /><testcase classname="test.test_schedule_exploration.ScheduleExplorationTests" name="test_ra_release_acquire_message_passing" time="0.015" /><testcase classname="test.test_schedule_exploration.ScheduleExplorationTests" name="test_ra_rmw_release_sequence_and_atomicity" time="0.017" /><testcase classname="test.test_schedule_exploration.ScheduleExplorationTests" name="test_rwunlock_releases_lockset_before_later_memory_access" time="0.000" /><testcase classname="test.test_schedule_exploration.ScheduleExplorationTests" name="test_sc_tso_and_ra_store_buffering_litmus" time="0.025" /><testcase classname="test.test_schedule_exploration.ScheduleExplorationTests" name="test_schedule_constraint_artifact_matches_replay_queue" time="0.003" /><testcase classname="test.test_schedule_exploration.ScheduleExplorationTests" name="test_schedule_explorer_writes_bounded_smt_artifact" time="0.001" /><testcase classname="test.test_schedule_exploration.ScheduleExplorationTests" name="test_schedule_linear_extension_certificate_and_replay_projection" time="0.037" /><testcase classname="test.test_schedule_exploration.ScheduleExplorationTests" name="test_schedule_linear_extension_certificate_checks_choices" time="0.001" /><testcase classname="test.test_schedule_exploration.ScheduleExplorationTests" name="test_schedule_smt_allows_overlapping_rwlock_readers" time="0.011" /><testcase classname="test.test_schedule_exploration.ScheduleExplorationTests" name="test_schedule_smt_artifact_encodes_partial_order_and_prefix" time="0.017" /><testcase classname="test.test_schedule_exploration.ScheduleExplorationTests" name="test_schedule_smt_bounds_query_count" time="0.010" /><testcase classname="test.test_schedule_exploration.ScheduleExplorationTests" name="test_schedule_smt_condition_wait_split_and_wake_witness" time="0.018" /><testcase classname="test.test_schedule_exploration.ScheduleExplorationTests" name="test_schedule_smt_hb_assumptions_use_complete_trace" time="0.001" /><testcase classname="test.test_schedule_exploration.ScheduleExplorationTests" name="test_schedule_smt_incomplete_thread_evidence_stays_conservative" time="0.009" /><testcase classname="test.test_schedule_exploration.ScheduleExplorationTests" name="test_schedule_smt_mutex_state_rejects_forced_overlap" time="0.027" /><testcase classname="test.test_schedule_exploration.ScheduleExplorationTests" name="test_schedule_smt_partial_order_elides_total_permutation" time="0.037" /><testcase classname="test.test_schedule_exploration.ScheduleExplorationTests" name="test_schedule_smt_partial_order_links_are_strict" time="0.009" /><testcase classname="test.test_schedule_exploration.ScheduleExplorationTests" name="test_schedule_smt_reports_candidates_outside_event_bound" time="0.001" /><testcase classname="test.test_schedule_exploration.ScheduleExplorationTests" name="test_schedule_smt_scaled_anchors_replace_quadratic_links" time="0.055" /><testcase classname="test.test_schedule_exploration.ScheduleExplorationTests" name="test_schedule_smt_signal_is_unique_but_broadcast_is_reusable" time="0.020" /><testcase classname="test.test_schedule_exploration.ScheduleExplorationTests" name="test_schedule_smt_sync_state_can_be_disabled_and_legacy_materialized" time="0.050" /><testcase classname="test.test_schedule_exploration.ScheduleExplorationTests" name="test_schedule_smt_thread_create_and_join_operational_order" time="0.026" /><testcase classname="test.test_schedule_exploration.ScheduleExplorationTests" name="test_schedule_smt_timed_wait_reacquires_mutex_without_wake_witness" time="0.009" /><testcase classname="test.test_schedule_exploration.ScheduleExplorationTests" name="test_schedule_smt_trylock_failure_is_optional_busy_witness" time="0.018" /><testcase classname="test.test_schedule_exploration.ScheduleExplorationTests" name="test_schedule_solver_lazy_refinement_and_direct_model" time="0.083" /><testcase classname="test.test_schedule_exploration.ScheduleExplorationTests" name="test_source_dpor_certificate_checks_equivalence_classes" time="0.001" /><testcase classname="test.test_schedule_exploration.ScheduleExplorationTests" name="test_source_dpor_persists_bounded_sleep_sets" time="0.002" /><testcase classname="test.test_schedule_exploration.ScheduleExplorationTests" name="test_source_dpor_tracks_equivalent_observed_traces" time="0.001" /><testcase classname="test.test_schedule_exploration.ScheduleExplorationTests" name="test_source_dpor_uses_causal_wakeup_sequence" time="0.000" /><testcase classname="test.test_schedule_exploration.ScheduleExplorationTests" name="test_thread_lifecycle_vector_clocks_suppress_joined_conflict" time="0.000" /><testcase classname="test.test_schedule_exploration.ScheduleExplorationTests" name="test_trace_parser_attaches_bounded_atomic_values" time="0.000" /><testcase classname="test.test_schedule_exploration.ScheduleExplorationTests" name="test_trace_parser_binds_unique_atomic_commit_evidence" time="0.000" /><testcase classname="test.test_schedule_exploration.ScheduleExplorationTests" name="test_trace_parser_keeps_controlled_events_in_order" time="0.000" /><testcase classname="test.test_schedule_exploration.ScheduleExplorationTests" name="test_trace_parser_preserves_memory_provenance_tags" time="0.000" /><testcase classname="test.test_schedule_exploration.ScheduleExplorationTests" name="test_trace_parser_rejects_ambiguous_or_unbound_atomic_values" time="0.000" /><testcase classname="test.test_schedule_exploration.ScheduleExplorationTests" name="test_trace_parser_resolves_cmpxchg_result" time="0.000" /><testcase classname="test.test_schedule_exploration.ScheduleExplorationTests" name="test_tso_store_forwarding_rejects_stale_same_thread_read" time="0.007" /><testcase classname="test.test_schedule_exploration.ScheduleExplorationTests" name="test_wakeup_tree_certificate_checks_runtime_ready_root" time="0.001" /><testcase classname="test.test_schedule_exploration.ScheduleExplorationTests" name="test_wakeup_tree_elides_weak_initial_equivalent_leaf" time="0.000" /><testcase classname="test.test_schedule_exploration.ScheduleRuntimeTests" name="test_memory_owner_filter_emits_compressed_shared_transition" time="0.101" /><testcase classname="test.test_schedule_exploration.ScheduleRuntimeTests" name="test_memory_provenance_tags_are_emitted_for_memory_rows" time="0.099" /><testcase classname="test.test_schedule_exploration.ScheduleRuntimeTests" name="test_memory_stack_filter_skips_current_thread_stack" time="0.102" /><testcase classname="test.test_schedule_exploration.ScheduleRuntimeTests" name="test_preload_runtime_preserves_target_after_cancelled_join" time="0.222" /><testcase classname="test.test_schedule_exploration.ScheduleRuntimeTests" name="test_preload_runtime_records_and_replays_mutex_prefix" time="0.174" /><testcase classname="test.test_schedule_exploration.ScheduleRuntimeTests" name="test_preload_runtime_records_condition_mutex_lifecycle" time="0.111" /><testcase classname="test.test_schedule_exploration.ScheduleRuntimeTests" name="test_preload_runtime_records_stable_create_join_lifecycle" time="0.107" /><testcase classname="test.test_schedule_exploration.ScheduleRuntimeTests" name="test_preload_runtime_records_timed_wait_mutex_reacquire" time="0.114" /><testcase classname="test.test_schedule_exploration.ScheduleRuntimeTests" name="test_preload_runtime_retires_detached_thread_identity" time="0.142" /><testcase classname="test.test_schedule_exploration.ScheduleRuntimeTests" name="test_preload_runtime_reuses_detached_registry_slots" time="0.318" /><testcase classname="test.test_native_condpor_campaign.NativeCondporCampaignTests" name="test_native_campaign_cli_explore_and_verify" time="0.464" /><testcase classname="test.test_native_condpor_campaign.NativeCondporCampaignTests" name="test_native_campaign_reexecutes_and_regenerates_control_flow" time="0.378" /><testcase classname="test.test_native_condpor_campaign.NativeCondporCampaignTests" name="test_native_campaign_rejects_owned_environment_overrides" time="0.099" /><testcase classname="test.test_native_condpor_campaign.NativeCondporCampaignTests" name="test_native_campaign_reports_run_bound_without_false_completion" time="0.190" /><testcase classname="test.test_native_condpor_campaign.NativeCondporCampaignTests" name="test_sc_hardware_rf_claim_requires_complete_atomic_commit_evidence" time="0.000" /></testsuite></testsuites>