3 ms·
IIUC, you could probably use KLEE to ease the pain of capturing the state. http://klee.github.io/ http://klee.github.io/
by hrjet 12y ago
IIUC, you could probably use KLEE to ease the pain of capturing the state.
http://klee.github.io/ http://klee.github.io/