Reply To: Using deferred operations in the Model Verifier

homepage Forums BridgePoint/xtUML Usage and Training Using deferred operations in the Model Verifier Reply To: Using deferred operations in the Model Verifier

#7447
cort
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.