vaibhavbsharma/java-ranger

Support Z3BitVector for TCG

Opened this issue · 0 comments

sohah commented

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