Versions in this module Expand all Collapse all v0 v0.1.0 Jul 18, 2026 Changes in this version + func AlignSteps(chunks []types.Chunk, code CodeIndex) (resolved, total int) + type CodeIndex map[string][]CodeSpan + func (ix CodeIndex) Add(file string, start, end int, id string) + type CodeSpan struct + End int + ID string + Start int + type Stats struct + Edges int + Flows int + Invariants int + Skipped int + Steps int + Warnings []string + func Load(path, corpusRel string) ([]types.Chunk, Stats, error) + func Parse(r io.Reader, corpusRel string) ([]types.Chunk, Stats, error)
Go to main page