search

angr / simuvex

[DEPRECATED] A symbolic execution engine for the VEX IR
BSD 2-Clause "Simplified" License
79 stars 57 forks source link

Various fixes #80

Closed schieb closed 7 years ago

zardus commented 7 years ago

Hmm... It looks like this triggered some CI failures, especially with the resolves keyword. Would you mind looking at what's going on there?

schieb commented 7 years ago

Whoops! I have removed the offending commit.

zardus commented 7 years ago

Thanks!