Test working kani results with actions

twizzler-operating-system · Oct 8, 2024 · 16632ea · 16632ea
1 parent ad4c094
commit 16632ea
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/lib/twizzler-abi/src/syscall/time/units.rs b/src/lib/twizzler-abi/src/syscall/time/units.rs
@@ -141,7 +141,7 @@ mod units_verification {
     //     assert_eq!(Seconds(secs) * scalar, TimeSpan::new(secs * scalar, 0));
     //     assert_eq!(scalar * Seconds(secs), TimeSpan::new(secs * scalar, 0));
     // }
-
+/*
     #[kani::proof]
     #[kani::unwind(10)]     
     pub fn femtos(){
@@ -204,9 +204,9 @@ mod units_verification {
         ];
         kani::concrete_playback_run(concrete_vals, conversion);
     }
+*/
 }
 
-
 #[cfg(test)]
 mod tests {