GeneratedVerificationModule
PackageFsLiveDocs.Runner
The single stable execution boundary used by generated xUnit cases.
Summary
| Name | Signature | Synopsis |
|---|---|---|
| Operations | ||
| 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. |
Operations
kind:member
kind:member
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>