Skip to content

Commit 8c49e81

Browse files
author
Evan Johnson
committed
fix readme
1 parent ed44885 commit 8c49e81

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

README.md

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -19,6 +19,7 @@ Additionally, ensure you have [https://rustup.rs/](Rustup) installed, and instal
1919
```
2020
make bootstrap # Setup build the first time. This will take 15-20 minutes.
2121
make build # Build WaVe. This should take < 1 minute.
22+
cargo test # Run all compliance tests. This should take < 1 minute
2223
make verify # Verify correctness of WaVe. This will take 30-60 minutes.
2324
```
2425

0 commit comments

Comments
 (0)