Another example

verus-lang · Dec 19, 2024 · 2d6b73a · 2d6b73a
1 parent 42eca32
commit 2d6b73a
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/crates/va-test/examples/misc-parsing/src/main.rs b/crates/va-test/examples/misc-parsing/src/main.rs
@@ -1,11 +1,11 @@
+use vstd::prelude::*;
+
 verus! {
 
-spec fn lemma_div_basics(a:bool, b:bool)
-{
-    a <== b
+spec fn wrapping_add_u8() -> u8 {
+    <u8>::MAX
 }
 
-
 } // verus!
 
 fn main() { }