m2isar.backends.etiss.virtualstruct_utils
Helper functions for dealing with ETISS VirtualStruct and GDBCore.
Attributes
Functions
|
Convert a list of integers into a list of contiguous ranges and single values. |
|
|
|
|
|
|
|
|
|
Helper functions for dealing with ETISS VirtualStruct and GDBCore.
|
Convert a list of integers into a list of contiguous ranges and single values. |
|
|
|
|
|
|
|
|
|