Versions in this module Expand all Collapse all v0 v0.7.0 Jul 11, 2026 Changes in this version + const StatusFailed + const StatusPassed + const StatusSkipped + func Verify(ctx context.Context, cfg *config.Config, rootDir string, w io.Writer, ...) (bool, error) + type Intent int + const IntentCorrectness + const IntentDepReverify + type PackageResult struct + Coverage float64 + Duration time.Duration + Failures []TestFailure + ImportPath string + Rel string + Status string + Synopsis string + Tests int + type ResolvedSuite struct + Argv []string + Coverage bool + CoverageMin float64 + Dir string + Gate config.Gate + ID string + Provenance string + Synthesized bool + Tool config.TestTool + func Resolve(cfg *config.Config, rootDir string) ([]ResolvedSuite, error) + type SuiteResult struct + Coverage float64 + CoverageMin float64 + Duration time.Duration + Err error + Gate config.Gate + ID string + Output string + Packages []PackageResult + Status string + Tool config.TestTool + type TestFailure struct + Name string + Output string + type TestResult struct + Suites []SuiteResult + func RunRender(ctx context.Context, suites []ResolvedSuite, rootDir string, ...) *TestResult + func (r TestResult) Failed() bool + func (r TestResult) FailedNonAdvisory() bool
Go to main page