Range sets cannot handle negative offsets in byte extracts #2524

Closed

Closed

Range sets cannot handle negative offsets in byte extracts#2524

Labels

The test regression/cbmc/full_slice3 (#2525) currently crashes at https://github.com/diffblue/cbmc/blob/develop/src/analyses/goto_rw.cpp#L157

Metadata

Assignees

No one assigned

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests