Reach.Trace.Slice.Statement (Reach v2.4.0)

Copy Markdown View Source

Struct for a single statement in a program slice.

Summary

Functions

new(attrs)