From a5bbbaa305850cdad0704b4225c71f18e1c540c7 Mon Sep 17 00:00:00 2001
From: jaisnan <jaisnan@amazon.com>
Date: Thu, 3 Nov 2022 19:30:12 +0000
Subject: [PATCH] test commit

---
 kani-driver/src/util.rs | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/kani-driver/src/util.rs b/kani-driver/src/util.rs
index ae1b0d4dd15..ab82fda490d 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::*;