<?xml version="1.0" encoding="utf-8"?><testsuites name="pytest tests"><testsuite name="pytest" errors="0" failures="0" skipped="0" tests="21" time="0.688" timestamp="2026-08-17T01:40:47.313822+08:00" hostname="cuda-ke"><testcase classname="test.test_nested_loop_memoryphi_summary" name="test_inner_effect_composes_across_outer_iterations" time="0.001" /><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.235" /><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.179" /><testcase classname="test.test_nested_loop_memoryphi_value_summary" name="test_generator_and_reference_benchmark_boundary" time="0.003" /><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.003" /><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.001" /><testcase classname="test.test_nested_loop_memoryphi_affine_symbolic_value" name="test_v9_binds_input_abi_and_affine_bitvector_formula" time="0.001" /><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" /></testsuite></testsuites>