GeneratedVerificationModule
PackageFsLiveDocs.Runner
The single stable execution boundary used by generated xUnit cases.
Summary
| Name | Signature | Synopsis |
|---|---|---|
| runCase | runCase references case | Runs one generated case without exposing verification ordering or composition to its caller. |
| compileUncoveredExamples | compileUncoveredExamples projectPath prelude references covered package | Compiles XML examples that no page transcludes and no snapshot runs, against the project that declares them. |
Runs one generated case without exposing verification ordering or composition to its caller.
Parameters
| Name | Type | Description |
|---|---|---|
| references | string list | |
| case | GeneratedVerificationCase |
Returns
Async<unit>
compileUncoveredExamples projectPath prelude references covered package
Member
Compiles XML examples that no page transcludes and no snapshot runs, against the project
that declares them.
Parameters
| Name | Type | Description |
|---|---|---|
| projectPath | string | |
| prelude | string | |
| references | string list | |
| covered | Set<string> | |
| package | PackageModel |
Returns
Async<ApiDiagnostic list>