Lukas Dresel

I'll work on the disassembler whenever i have free time, but can't promise how much that actually is. If anyone wants it quick, feel free.

Oh damn, I didn't even see this, I need to manage my github notifications better, I've gotten serious notification fatigue

@rhelmot @saullocarvalho @peperunas Currently you can already do `solver.check_satisfiability()` instead of `solver.satisfiable()`. This is not exported into angr's `SimSolver` yet I think, but there you can currently already do `state.solver._solver.check_satisfiability()`

This will return either `'SAT'`, `'UNSAT'`, or `'UNKNOWN'`

```In [4]: s = p.factory.entry_state() In [5]: s.solver._solver.check_satisfiability() Out[5]: 'SAT' ```

In terms of throwing an exception it seems to me like the only thing that would really need to be changed is in `full_frontend.py` to replace the instances of `self.satisfiable()`...

This worked 1/3 times, the other times it did not show up. I made multiple changes (e.g. changing to a different type, then changing back), but they still did not...

huh okay let me try with waiting in between then

Okay, yeah, still does not appear to sync it for me, even after waiting 20+ seconds, so definitely a bug

Hmm, so it's a bit weirder than that? If i set the argument type to `void*` it does not appear to sync? but if i set it to `person_t*` then...