commandcoverage

package

v0.5.1 Latest Latest Go to latest Published: Sep 1, 2026 License: MIT Imports: 1 Imported by: 0

Documentation ¶

Index ¶

Constants
func SemanticRoute(t testContext, marker string)
func ValidSourceMarker(marker string) bool

Constants ¶

const ExecutionAttributeKey = "proofkit.command-oracle"

Variables ¶

This section is empty.

Functions ¶

func SemanticRoute ¶

func SemanticRoute(t testContext, marker string)

SemanticRoute binds one source-owned route marker to a cooperative runtime event. The event proves successful completion of the selected test, not execution of any particular assertion branch.

func ValidSourceMarker ¶ added in v0.4.0

func ValidSourceMarker(marker string) bool

Types ¶

This section is empty.

Source Files ¶

View all Source files

semantic_route.go

?	: This menu
/	: Search site
f or F	: Jump to
y or Y	: Canonical URL