BitfieldSimplifier: support arbitrary precision integers #348

Closed

Assignees

Labels

opened

on Dec 10, 2019

Rebase and merge this PR: S2E/klee#11
This will be needed to support expressions >128bits.

Metadata

Assignees

vitalych

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests