deepstate
deepstate copied to clipboard
Add `DeepState_IsSymbolic(uintptr_t)`
This will let us implement klee_is_symbolic(uintptr_t).