homepage › Forums › BridgePoint/xtUML Usage and Training › Using deferred operations in the Model Verifier › Reply To: Using deferred operations in the Model Verifier
December 6, 2021 at 3:40 pm #7447
The Model Verifier does not (yet) support deferred operations.
The editor does support them.
The Ciera model compiler supports them.
This issue in the issue tracker was raised about a year ago to track support of deferred operations for Verifier:
It is a nice feature; it just needs a bit of time and resource to complete.