3 ms·
Isn't this what the autopilot thing is supposed to do kind of? Except it just gives you the auto-generated code.
by dhosek 5y ago
Isn't this what the autopilot thing is supposed to do kind of? Except it just gives you the auto-generated code.
- melony 5y agoJust run the output of autopilot in a symbolic execution environment and diff it against the code paths of the user code. This is one (admittedly convoluted) way of implementing what OP wants.