RewritingEngine class
Engine that can rewrite a set of assemblies for systematic testing.
public class RewritingEngine
Public Members
name | description |
---|---|
static IsAssemblyRewritten(…) | Checks if the specified assembly has been already rewritten with the current version. |
Remarks
See rewriting for more information.
See Also
- namespace Microsoft.Coyote.Rewriting
- assembly Microsoft.Coyote.Test