<?xml version="1.0" encoding="utf-8"?><testsuites name="pytest tests"><testsuite name="pytest" errors="0" failures="0" skipped="0" tests="32" time="1.895" timestamp="2026-08-17T10:25:57.388886+08:00" hostname="cuda-ke"><testcase classname="test.test_nested_loop_memoryphi_summary" name="test_inner_effect_composes_across_outer_iterations" time="0.000" /><testcase classname="test.test_nested_loop_memoryphi_summary" name="test_v6_certificate_binds_two_memoryphis_and_ordered_writers" time="0.000" /><testcase classname="test.test_nested_loop_memoryphi_summary" name="test_unsupported_topology_effects_and_mutations_fail_closed" time="0.002" /><testcase classname="test.test_nested_loop_memoryphi_summary" name="test_finite_nested_summary_oracle_closes" time="0.241" /><testcase classname="test.test_nested_loop_memoryphi_summary" name="test_generator_and_reference_benchmark_boundary" time="0.001" /><testcase classname="test.test_nested_loop_memoryphi_value_summary" name="test_v7_binds_constant_operands_endian_bytes_and_selection_order" time="0.000" /><testcase classname="test.test_nested_loop_memoryphi_value_summary" name="test_first_match_value_summary_matches_nested_runtime" time="0.001" /><testcase classname="test.test_nested_loop_memoryphi_value_summary" name="test_value_metadata_and_last_write_mutations_fail_closed" time="0.002" /><testcase classname="test.test_nested_loop_memoryphi_value_summary" name="test_finite_value_summary_oracle_closes" time="0.195" /><testcase classname="test.test_nested_loop_memoryphi_value_summary" name="test_generator_and_reference_benchmark_boundary" time="0.002" /><testcase classname="test.test_nested_loop_memoryphi_two_dimensional_affine" name="test_v8_binds_two_dimensional_instances_and_endian_value_bytes" time="0.000" /><testcase classname="test.test_nested_loop_memoryphi_two_dimensional_affine" name="test_lexicographic_first_match_equals_concrete_nested_runtime" time="0.001" /><testcase classname="test.test_nested_loop_memoryphi_two_dimensional_affine" name="test_two_dimensional_metadata_mutations_fail_closed" time="0.009" /><testcase classname="test.test_nested_loop_memoryphi_two_dimensional_affine" name="test_finite_two_dimensional_oracle_closes" time="0.127" /><testcase classname="test.test_nested_loop_memoryphi_two_dimensional_affine" name="test_reference_benchmark_cardinality_boundary" time="0.000" /><testcase classname="test.test_nested_loop_memoryphi_affine_symbolic_value" name="test_v9_binds_input_abi_and_affine_bitvector_formula" time="0.000" /><testcase classname="test.test_nested_loop_memoryphi_affine_symbolic_value" name="test_modular_first_match_equals_concrete_nested_runtime" time="0.001" /><testcase classname="test.test_nested_loop_memoryphi_affine_symbolic_value" name="test_endianness_changes_byte_extraction_not_value_formula" time="0.000" /><testcase classname="test.test_nested_loop_memoryphi_affine_symbolic_value" name="test_symbolic_metadata_mutations_and_rejections_fail_closed" time="0.003" /><testcase classname="test.test_nested_loop_memoryphi_affine_symbolic_value" name="test_finite_affine_symbolic_value_oracle_closes" time="0.009" /><testcase classname="test.test_nested_loop_memoryphi_affine_symbolic_value" name="test_generator_and_reference_benchmark_cardinality" time="0.000" /><testcase classname="test.test_nested_loop_memoryphi_piecewise_affine_value" name="test_v10_binds_guard_and_both_affine_arms" time="0.000" /><testcase classname="test.test_nested_loop_memoryphi_piecewise_affine_value" name="test_all_guards_orders_and_endianness_match_concrete_runtime" time="0.092" /><testcase classname="test.test_nested_loop_memoryphi_piecewise_affine_value" name="test_witness_specializes_guard_before_affine_byte_extraction" time="0.000" /><testcase classname="test.test_nested_loop_memoryphi_piecewise_affine_value" name="test_endianness_only_reverses_byte_extraction_lane" time="0.000" /><testcase classname="test.test_nested_loop_memoryphi_piecewise_affine_value" name="test_mutations_and_unsupported_boundaries_fail_closed" time="0.008" /><testcase classname="test.test_nested_loop_memoryphi_piecewise_affine_value" name="test_oracle_generator_and_reference_benchmark_close" time="0.140" /><testcase classname="test.test_nested_loop_memoryphi_decision_dag_value" name="test_shared_dag_selects_one_or_two_guards" time="0.000" /><testcase classname="test.test_nested_loop_memoryphi_decision_dag_value" name="test_descending_last_write_matches_runtime_for_sampled_states" time="0.001" /><testcase classname="test.test_nested_loop_memoryphi_decision_dag_value" name="test_generator_covers_predicates_sharing_and_endianness" time="0.000" /><testcase classname="test.test_nested_loop_memoryphi_decision_dag_value" name="test_unsupported_guards_and_degenerate_dags_fail_closed" time="0.000" /><testcase classname="test.test_nested_loop_memoryphi_decision_dag_value" name="test_independent_oracle_and_reference_benchmark_close" time="0.910" /></testsuite></testsuites>