Reach.Trace.Slice.Result (Reach v2.2.0)

Copy Markdown View Source

Struct for program slice results.

Summary

Functions

new(attrs)