search

vaibhavbsharma / java-ranger

Java Ranger is a path-merging extension of Symbolic PathFinder
https://github.com/SymbolicPathFinder/jpf-symbc
13 stars 5 forks source link

Support Z3BitVector for TCG #6

Open sohah opened 3 years ago

sohah commented 3 years ago

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