Skip to main content

Module symbolic

Module symbolic 

Source
Expand description

Formal symbolic benchmark suite definitions and result parsing.

Structsยง

FixtureMetadata
Metrics
Overlay
Error-safe installation of the Farcaster benchmark overlay.
ParsedRun
Sample
Sidecar
TestOutcome

Enumsยง

Fixture
OutcomeStatus

Constantsยง

FARCASTER_PATH ๐Ÿ”’
FARCASTER_TEST ๐Ÿ”’
PREFIX ๐Ÿ”’
SOLADY_MATCH ๐Ÿ”’

Functionsยง

add_metrics ๐Ÿ”’
compatibility
optional_add ๐Ÿ”’
optional_max ๐Ÿ”’
parse
required ๐Ÿ”’