Joe Ranweiler 2ea978999b

Replace DeepState_TakeOver() with Manticore function model ...

Now we have API parity with the angr executor, and return 1 from
`DeepState_TakeOver()` when it is hooked for symbolic execution under
the Manticore backend.

2018-02-20 15:43:34 -08:00

..

deepstate

Replace DeepState_TakeOver() with Manticore function model

2018-02-20 15:43:34 -08:00

setup.py.in

Add explicit deepstate-manticore executor script

2018-02-19 18:23:58 -08:00