# Semantics MBRE-3

This [test](.) is exercising the condition [`3`](../Readme.md) of the semantics rule [`MBRE`](../../mbre/Readme.md).

### Description

In this test, an object `b1` containing an attribute declared with a reference type but attached to an object with copy semantics is copied to another object  `b2` using feature `copy`. The effect for this attribute is the one of cloning the object it is attached to and attaching it to the target (the corresponding attribute in `b2`). This test satisfies `MBRE-3`.

### Notes

* ISE Eiffel (as of 20.05.10.4440 and after) does not clone the object with copy semantics. We end up having two attributes, in `b1` and `b2`, sharing the same object. This violates `MBRE-3`.
