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
This is fairly trivial, but if you run Verus on a library file and forget --crate-type=lib, then it throws an error, but still looks like 0 errors in its output, which at least for some tools (e.g., Veritas, verus-analyzer, ...) that parse that line, makes it seem like there have been 0 errors. We do get 0 verified, but it might be be good to say 1 error(s) or similar?
$ verus x.rserror[E0601]: `main` function not found in crate `x` --> x.rs:9:2 |9 | } | ^ consider adding a `main` function to `x.rs`error: aborting due to 1 previous errorFor more information about this error, try `rustc --explain E0601`.verification results:: 0 verified, 0 errors
The text was updated successfully, but these errors were encountered:
jaybosamiya-ms
changed the title
"0 errors" when there is an error
"0 errors" when there is a (trivial) error blocking more verification
Jun 26, 2024
This is fairly trivial, but if you run Verus on a library file and forget
--crate-type=lib
, then it throws an error, but still looks like0 errors
in its output, which at least for some tools (e.g., Veritas, verus-analyzer, ...) that parse that line, makes it seem like there have been 0 errors. We do get0 verified
, but it might be be good to say1 error(s)
or similar?The text was updated successfully, but these errors were encountered: