Method test_reverse_bijection

tests/python/test_structural_py_class.py:307–313

(a, b) vs (a, a) where a ≅ b — reverse map detects inconsistency.

(self)

        assert structural_hash(dag) != structural_hash(tree)

    def test_reverse_bijection(self) -> None:
        """(a, b) vs (a, a) where a ≅ b — reverse map detects inconsistency."""
        a = TBinding(name="a", value=1)
        b = TBinding(name="b", value=1)  # same content as a
        lhs = tvm_ffi.Array([a, b])
        rhs = tvm_ffi.Array([a, a])  # note: same object twice
        assert not structural_equal(lhs, rhs)


# ---------------------------------------------------------------------------