Test Summary (auto-generated)
Generated by
npm run report(scripts/gen-test-report.ts) from a realvitest run. This is the machine-checkable companion to the hand-authoreddocs/TEST-REPORT.md; if the numbers disagree, this file is ground truth.
- Files: 157
- Tests: 4688 total — 4688 passed, 0 failed, 0 skipped
| File | Passed | Failed | Skipped |
|---|---|---|---|
| test/campaign/authoring-campaign.test.ts | 144 | 0 | 0 |
| test/campaign/cli.sysprose.test.ts | 119 | 0 | 0 |
| test/campaign/cli.test.ts | 14 | 0 | 0 |
| test/campaign/invariants.test.ts | 32 | 0 | 0 |
| test/campaign/verification.test.ts | 182 | 0 | 0 |
| test/conformance/api-contract.test.ts | 22 | 0 | 0 |
| test/conformance/corpus.test.ts | 16 | 0 | 0 |
| test/conformance/oslc-conformance.test.ts | 8 | 0 | 0 |
| test/conformance/roundtrip.test.ts | 25 | 0 | 0 |
| test/integration/analysis.integration.test.ts | 5 | 0 | 0 |
| test/integration/api-library-counts.test.ts | 7 | 0 | 0 |
| test/integration/complete-semantics.integration.test.ts | 9 | 0 | 0 |
| test/integration/execution.integration.test.ts | 6 | 0 | 0 |
| test/integration/full-library.load.test.ts | 7 | 0 | 0 |
| test/integration/full-library.resolve.test.ts | 16 | 0 | 0 |
| test/integration/library-resolve.fixpoint.test.ts | 6 | 0 | 0 |
| test/integration/library-resolve.integration.test.ts | 5 | 0 | 0 |
| test/integration/persist-api.persistence.test.ts | 21 | 0 | 0 |
| test/integration/persist-api.rest.test.ts | 12 | 0 | 0 |
| test/integration/persist-api.sdk.test.ts | 8 | 0 | 0 |
| test/integration/pipeline.api.test.ts | 17 | 0 | 0 |
| test/integration/pipeline.diagram.test.ts | 11 | 0 | 0 |
| test/integration/pipeline.roundtrip.test.ts | 10 | 0 | 0 |
| test/integration/pipeline.validate.test.ts | 6 | 0 | 0 |
| test/integration/semantics-exec.integration.test.ts | 9 | 0 | 0 |
| test/integration/semantics.pipeline.test.ts | 9 | 0 | 0 |
| test/integration/smt-z3.integration.test.ts | 33 | 0 | 0 |
| test/integration/uav-example.test.ts | 15 | 0 | 0 |
| test/integration/units.integration.test.ts | 14 | 0 | 0 |
| test/integration/verification.differential.test.ts | 210 | 0 | 0 |
| test/interop/self-roundtrip.test.ts | 10 | 0 | 0 |
| test/server/api-server.test.ts | 10 | 0 | 0 |
| test/server/auth-headers.test.ts | 6 | 0 | 0 |
| test/server/concurrency-full.test.ts | 5 | 0 | 0 |
| test/server/concurrency.test.ts | 5 | 0 | 0 |
| test/server/index-browser-guard.test.ts | 3 | 0 | 0 |
| test/server/oslc-rdf.test.ts | 11 | 0 | 0 |
| test/server/oslc-shapes.test.ts | 11 | 0 | 0 |
| test/unit/api.analytics.test.ts | 67 | 0 | 0 |
| test/unit/api.evidence.test.ts | 54 | 0 | 0 |
| test/unit/api.oslc.test.ts | 10 | 0 | 0 |
| test/unit/api.prompts.test.ts | 14 | 0 | 0 |
| test/unit/api.query.test.ts | 18 | 0 | 0 |
| test/unit/api.query2.test.ts | 9 | 0 | 0 |
| test/unit/api.request-validation.test.ts | 9 | 0 | 0 |
| test/unit/api.rest.test.ts | 7 | 0 | 0 |
| test/unit/api.rest2.test.ts | 9 | 0 | 0 |
| test/unit/api.sdk.test.ts | 12 | 0 | 0 |
| test/unit/api.verification.test.ts | 80 | 0 | 0 |
| test/unit/api.versioning.test.ts | 11 | 0 | 0 |
| test/unit/branding.test.ts | 13 | 0 | 0 |
| test/unit/centrality.test.ts | 7 | 0 | 0 |
| test/unit/checks-registry.test.ts | 124 | 0 | 0 |
| test/unit/claims.test.ts | 40 | 0 | 0 |
| test/unit/cli-reference.test.ts | 28 | 0 | 0 |
| test/unit/collab.binding.test.ts | 15 | 0 | 0 |
| test/unit/collab.provider.test.ts | 5 | 0 | 0 |
| test/unit/contracts-table.test.ts | 10 | 0 | 0 |
| test/unit/core.model.test.ts | 12 | 0 | 0 |
| test/unit/diagnostic-codes.test.ts | 11 | 0 | 0 |
| test/unit/diagram.build.test.ts | 14 | 0 | 0 |
| test/unit/diagram.case.test.ts | 8 | 0 | 0 |
| test/unit/diagram.exports.test.ts | 3 | 0 | 0 |
| test/unit/diagram.geometry.test.ts | 18 | 0 | 0 |
| test/unit/diagram.geometry3d.test.ts | 14 | 0 | 0 |
| test/unit/diagram.grid.test.ts | 12 | 0 | 0 |
| test/unit/diagram.layout.test.ts | 4 | 0 | 0 |
| test/unit/diagram.layout2.test.ts | 7 | 0 | 0 |
| test/unit/diagram.matrix.test.ts | 10 | 0 | 0 |
| test/unit/diagram.parametric.test.ts | 10 | 0 | 0 |
| test/unit/diagram.readability.test.ts | 51 | 0 | 0 |
| test/unit/diagram.sequence.test.ts | 8 | 0 | 0 |
| test/unit/diagram.svg-export.test.ts | 22 | 0 | 0 |
| test/unit/diagram.symbols.test.ts | 12 | 0 | 0 |
| test/unit/diagram.symbols2.test.ts | 14 | 0 | 0 |
| test/unit/docs-counts.test.ts | 117 | 0 | 0 |
| test/unit/drive.test.ts | 178 | 0 | 0 |
| test/unit/duplicate.test.ts | 6 | 0 | 0 |
| test/unit/fmi-cosim.test.ts | 22 | 0 | 0 |
| test/unit/fmi-export.test.ts | 16 | 0 | 0 |
| test/unit/fmi-import.test.ts | 12 | 0 | 0 |
| test/unit/graph-algorithms.test.ts | 19 | 0 | 0 |
| test/unit/graph-analysis.test.ts | 19 | 0 | 0 |
| test/unit/langium.direction.test.ts | 5 | 0 | 0 |
| test/unit/langium.grammar.test.ts | 46 | 0 | 0 |
| test/unit/library.load.test.ts | 13 | 0 | 0 |
| test/unit/linked-model.test.ts | 15 | 0 | 0 |
| test/unit/paste.test.ts | 7 | 0 | 0 |
| test/unit/persistence.io.test.ts | 31 | 0 | 0 |
| test/unit/planning.test.ts | 25 | 0 | 0 |
| test/unit/property.test.ts | 26 | 0 | 0 |
| test/unit/readme.test.ts | 15 | 0 | 0 |
| test/unit/reconnect.test.ts | 9 | 0 | 0 |
| test/unit/regroup-apply.test.ts | 28 | 0 | 0 |
| test/unit/regroup.test.ts | 34 | 0 | 0 |
| test/unit/reparent-target.test.ts | 14 | 0 | 0 |
| test/unit/requirements-table.test.ts | 20 | 0 | 0 |
| test/unit/scenarios.test.ts | 3 | 0 | 0 |
| test/unit/semantics.bind.test.ts | 11 | 0 | 0 |
| test/unit/semantics.conformance.test.ts | 9 | 0 | 0 |
| test/unit/semantics.connectors.test.ts | 13 | 0 | 0 |
| test/unit/semantics.constraints.test.ts | 9 | 0 | 0 |
| test/unit/semantics.derived-scope.test.ts | 33 | 0 | 0 |
| test/unit/semantics.evaluate-model.test.ts | 183 | 0 | 0 |
| test/unit/semantics.execute-full.test.ts | 14 | 0 | 0 |
| test/unit/semantics.execute.test.ts | 35 | 0 | 0 |
| test/unit/semantics.execution-full.test.ts | 19 | 0 | 0 |
| test/unit/semantics.expr.test.ts | 14 | 0 | 0 |
| test/unit/semantics.featuring.test.ts | 11 | 0 | 0 |
| test/unit/semantics.inheritance.test.ts | 10 | 0 | 0 |
| test/unit/semantics.keywords.test.ts | 43 | 0 | 0 |
| test/unit/semantics.mc.differential.test.ts | 27 | 0 | 0 |
| test/unit/semantics.mc.modality.test.ts | 22 | 0 | 0 |
| test/unit/semantics.mc.patterns.test.ts | 81 | 0 | 0 |
| test/unit/semantics.mc.publishable.test.ts | 47 | 0 | 0 |
| test/unit/semantics.mc.reach.test.ts | 110 | 0 | 0 |
| test/unit/semantics.mc.recovery.test.ts | 27 | 0 | 0 |
| test/unit/semantics.mc.scc.test.ts | 28 | 0 | 0 |
| test/unit/semantics.mc.successors.test.ts | 33 | 0 | 0 |
| test/unit/semantics.mc.traps.test.ts | 31 | 0 | 0 |
| test/unit/semantics.metaclasses.test.ts | 10 | 0 | 0 |
| test/unit/semantics.metamodel-complete.test.ts | 9 | 0 | 0 |
| test/unit/semantics.relations.test.ts | 17 | 0 | 0 |
| test/unit/semantics.requirements.test.ts | 36 | 0 | 0 |
| test/unit/semantics.resolve.test.ts | 19 | 0 | 0 |
| test/unit/semantics.smt-encode.test.ts | 61 | 0 | 0 |
| test/unit/semantics.solver-ineq.test.ts | 22 | 0 | 0 |
| test/unit/semantics.solver-units.test.ts | 132 | 0 | 0 |
| test/unit/semantics.solver.test.ts | 29 | 0 | 0 |
| test/unit/semantics.statement-kind.test.ts | 37 | 0 | 0 |
| test/unit/semantics.units-eval.test.ts | 43 | 0 | 0 |
| test/unit/semantics.units.test.ts | 81 | 0 | 0 |
| test/unit/simulate.test.ts | 23 | 0 | 0 |
| test/unit/smt-z3-bridge-death.test.ts | 44 | 0 | 0 |
| test/unit/store.library-refresh.test.ts | 6 | 0 | 0 |
| test/unit/store.reducers.test.ts | 258 | 0 | 0 |
| test/unit/text.bracket-expr.test.ts | 45 | 0 | 0 |
| test/unit/text.clause-bodies.test.ts | 29 | 0 | 0 |
| test/unit/text.connectors.test.ts | 13 | 0 | 0 |
| test/unit/text.export-fidelity.test.ts | 3 | 0 | 0 |
| test/unit/text.grammar2.test.ts | 14 | 0 | 0 |
| test/unit/text.lexer.test.ts | 6 | 0 | 0 |
| test/unit/text.literal-form.test.ts | 24 | 0 | 0 |
| test/unit/text.load.test.ts | 9 | 0 | 0 |
| test/unit/text.parser.test.ts | 14 | 0 | 0 |
| test/unit/text.recovery-honesty.test.ts | 30 | 0 | 0 |
| test/unit/text.rehome.test.ts | 17 | 0 | 0 |
| test/unit/text.resolution.test.ts | 26 | 0 | 0 |
| test/unit/text.roundtrip.test.ts | 115 | 0 | 0 |
| test/unit/ui.contracts-table.test.ts | 11 | 0 | 0 |
| test/unit/ui.properties-evidence.test.ts | 10 | 0 | 0 |
| test/unit/ui.properties-facets.test.ts | 22 | 0 | 0 |
| test/unit/ui.requirements-table.test.ts | 22 | 0 | 0 |
| test/unit/ui.text-editor.test.ts | 4 | 0 | 0 |
| test/unit/user-guide.test.ts | 33 | 0 | 0 |
| test/unit/validation.connection.test.ts | 6 | 0 | 0 |
| test/unit/validation.rules.test.ts | 87 | 0 | 0 |