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
Keymaster
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:
https://support.onefact.net/issues/10129
It is a nice feature; it just needs a bit of time and resource to complete.