You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Currently, we just forward the message given by std::fs::read_to_string: No such file or directory (os error 2).
We should instead give an error that more properly explains what went wrong.
Also, this same error message will show up when the HVM doesn't find its input file (in the case of the intermediary .out.hvm), so it's even more confusing
The text was updated successfully, but these errors were encountered:
Currently, we just forward the message given by
std::fs::read_to_string
:No such file or directory (os error 2)
.We should instead give an error that more properly explains what went wrong.
Also, this same error message will show up when the HVM doesn't find its input file (in the case of the intermediary .out.hvm), so it's even more confusing
The text was updated successfully, but these errors were encountered: