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
Have an example folder with foo.rs files together with their foo.v file corresponding to the translation. The cargo test command should check that the .v files are the translation of the corresponding .rs files.
The text was updated successfully, but these errors were encountered:
Have an example folder with
foo.rs
files together with theirfoo.v
file corresponding to the translation. Thecargo test
command should check that the.v
files are the translation of the corresponding.rs
files.The text was updated successfully, but these errors were encountered: