Support Z3BitVector for TCG #6

Open

Assignees

Labels

opened

on Sep 12, 2020

The current implementation supports z3inc. To support z3bitvectorinc, some translation for the model output from the solver is needed.

Metadata

Assignees

sohah

Labels

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests