Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
dhosek
on Feb 8, 2022
|
parent
|
context
|
favorite
| on:
Some mistakes Rust doesn't catch
Isn't this what the autopilot thing is supposed to do kind of? Except it just gives you the auto-generated code.
melony
on Feb 8, 2022
[–]
Just 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.
Consider applying for YC's Spring batch! Applications are open till Feb 11.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
