Contents:
Jump
Jump.__init__()
Jump.sample()
Constructor
name (str) – Coverage Package name
Sample a given trace element
trace (Trace) – Trace element