added entrypoint parameter

rafaelsamenezes · rafaelsamenezes · commit 7765f0ea5b2f · 2025-01-10T14:05:08.000Z
diff --git a/src/cbmc.rs b/src/cbmc.rs
@@ -234,6 +234,6 @@ mod tests {
         let test_path = std::path::Path::new(&cargo_dir).join("resources/test/hello-gb.goto");
         assert!(test_path.exists());
 
-        crate::cbmc::process_cbmc_file(test_path.to_str().unwrap());
+        crate::cbmc::process_cbmc_file(test_path.to_str().unwrap(), "__CPROVER__start");
     }
 }

Original file line number	Diff line number	Diff line change
`@@ -234,6 +234,6 @@ mod tests {`
`234`	`234`	`let test_path = std::path::Path::new(&cargo_dir).join("resources/test/hello-gb.goto");`
`235`	`235`	`assert!(test_path.exists());`
`236`	`236`
`237`		`- crate::cbmc::process_cbmc_file(test_path.to_str().unwrap());`
	`237`	`+ crate::cbmc::process_cbmc_file(test_path.to_str().unwrap(), "__CPROVER__start");`
`238`	`238`	`}`
`239`	`239`	`}`