Module tracer 

Modules

tsffs

Structs

ExecutionTrace 🔒

ExecutionTraceEntry 🔒

ExecutionTraceSymbol 🔒

TraceEntry 🔒

Enums

CmpExpr 🔒

CmpExprShift 🔒

CmpType 🔒

CmpValue 🔒

CoverageMode 🔒

Functions

byte_width 🔒

cmp_shape 🔒

hash_index 🔒

Hash a value into an index into an array lf length len