<?xml version="1.0" encoding="utf-8"?><testsuites name="pytest tests"><testsuite name="pytest" errors="0" failures="0" skipped="0" tests="12" time="1.690" timestamp="2026-08-17T15:03:13.018346+08:00" hostname="cuda-ke"><testcase classname="test.test_schedule_exploration.ScheduleExplorationTests" name="test_native_condpor_binds_value_evidence_and_rejects_tamper" time="0.097" /><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.063" /><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_rejects_ambiguous_or_unbound_atomic_values" time="0.000" /><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.373" /><testcase classname="test.test_native_condpor_campaign.NativeCondporCampaignTests" name="test_native_campaign_rejects_owned_environment_overrides" time="0.098" /><testcase classname="test.test_native_condpor_campaign.NativeCondporCampaignTests" name="test_native_campaign_reports_run_bound_without_false_completion" time="0.188" /><testcase classname="test.test_native_condpor_campaign.NativeCondporCampaignTests" name="test_sc_hardware_rf_claim_requires_complete_atomic_commit_evidence" time="0.000" /></testsuite></testsuites>