search

DonggeLiu / Legion

A coverage-based software testing tool
MIT License
29 stars 4 forks source link

claripy.errors.BackendError: unexpected type <class 'NotImplementedType'> #12

Closed gernst closed 4 years ago

gernst commented 4 years ago

Find out why and how to fix. Potentially raise with upstream Angr.

gernst commented 4 years ago

This seems to be fixed now? Maybe it was related to returning tuples or not from eval and similar methods