Update parameter types and add comments

secure-foundations · Sep 27, 2024 · 8c9eb70 · 8c9eb70
1 parent 9fb6d06
commit 8c9eb70
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/tasks/human_eval_082.rs b/tasks/human_eval_082.rs
@@ -9,11 +9,13 @@ use vstd::prelude::*;
 
 verus! {
 
-spec fn is_divisible(n: int, divisor: int) -> bool {
+pub open spec fn is_divisible(n: int, divisor: int) -> bool {
     (n % divisor) == 0
 }
 
-fn prime_length(str: &Vec<char>) -> (result: bool)
+// Implementation following the ground-truth
+// This function determines if a given string length is prime or not
+fn prime_length(str: &[char]) -> (result: bool)
     ensures
         result == if str.len() < 2 {
             false