search

bitblaze-fuzzball / fuzzball

FuzzBALL: Vine-based Binary Symbolic Execution
Other
214 stars 58 forks source link

Parse Z3 smt line wihtout model prefix #50

Closed yanxx297 closed 2 years ago

yanxx297 commented 2 years ago

Z3 has removed the model keyword prefix since 4.8.10. Add support to this change.