RewritingSignatureAttribute.Version field
The version of Coyote used for the rewriting.
public readonly string Version;
See Also
- class RewritingSignatureAttribute
- namespace Microsoft.Coyote.Rewriting
- assembly Microsoft.Coyote.Test
The version of Coyote used for the rewriting.
public readonly string Version;