The modifications to the contract Subsystem of inputs connections to the contract blocks (assume, guarantee, mode ..) are discarded when the model is closed and opened again. There is a callback called each time when the model is opened which connects inputs again.
This is something breaking the user modification to the Contract Subsystem. The callback should be called only when the user has specified number of assumptions ... and hit ok or apply in the validator dialogue box.
The modifications to the contract Subsystem of inputs connections to the contract blocks (assume, guarantee, mode ..) are discarded when the model is closed and opened again. There is a callback called each time when the model is opened which connects inputs again.
This is something breaking the user modification to the Contract Subsystem. The callback should be called only when the user has specified number of assumptions ... and hit ok or apply in the validator dialogue box.