<?xml version="1.0" encoding="utf-8"?><testsuites name="pytest tests"><testsuite name="pytest" errors="0" failures="0" skipped="0" tests="5" time="0.991" timestamp="2026-08-17T10:25:57.413427+08:00" hostname="cuda-ke"><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.920" /></testsuite></testsuites>