Assertion list
byte (primary) → UsedFor
Results from Ascent++: 15
byte → UsedFor → ecos virtual vectors 0.44
byte → UsedFor → the switch priority 0.42
byte → UsedFor → hardware exception vectors 0.35
byte → UsedFor → the vsr table 0.35
byte → UsedFor → image 0.33
byte → UsedFor → the flowset_id 0.31
byte → UsedFor → bookmark 0.29
byte → UsedFor → comment 0.29
byte → UsedFor → error detection 0.29
byte → UsedFor → font 0.29
byte → UsedFor → form 0.29
byte → UsedFor → total file size 0.29
byte → UsedFor → a column value 0.27
byte → UsedFor → the memory region 0.27
byte → UsedFor → correction 0.25