Reply To: Using deferred operations in the Model Verifier

[cort]

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.