Merge pull request #486 from MSRSSP/verify

Setup verification
coconut-svsm · Nov 22, 2024 · abb9523 · abb9523
2 parents edc12da + 1eceb93
commit abb9523
Show file tree

Hide file tree

Showing 23 changed files with 1,680 additions and 135 deletions.
diff --git a/.cargo/config.toml b/.cargo/config.toml
@@ -11,3 +11,6 @@ rustflags = [
 rustflags = [
        "-C", "code-model=kernel",
 ]
+
+[alias]
+verify = "v build --features verus"