diff --git a/kani-driver/src/util.rs b/kani-driver/src/util.rs
index ae1b0d4dd15c..ab82fda490d0 100644
--- a/kani-driver/src/util.rs
+++ b/kani-driver/src/util.rs
@@ -82,6 +82,11 @@ pub fn specialized_harness_name(linked_obj: &Path, harness_filename: &str) -> Pa
     alter_extension(linked_obj, &format!("for-{harness_filename}.out"))
 }
 
+/// Create sample function
+pub fn test_function() {
+    assert!(1 == 1);
+}
+
 #[cfg(test)]
 mod tests {
     use super::*;