Use unique identifier for --package option of cargo creusot (#2041)

jhjourdan · web-flow · commit 1cd0c01c893f · 2026-04-15T14:43:53.000+02:00
diff --git a/cargo-creusot/src/main.rs b/cargo-creusot/src/main.rs
@@ -116,7 +116,7 @@ fn invoke_cargo(
         .env("CARGO_CREUSOT", "1");
 
     for package in packages {
-        cmd.args(["-p", &package.name]);
+        cmd.args(["-p", &package.id.to_string()]);
     }
 
     // Incremental compilation causes Creusot to not see all of a crate's code

Original file line number	Diff line number	Diff line change
`@@ -116,7 +116,7 @@ fn invoke_cargo(`
`116`	`116`	`.env("CARGO_CREUSOT", "1");`
`117`	`117`
`118`	`118`	`for package in packages {`
`119`		`- cmd.args(["-p", &package.name]);`
	`119`	`+ cmd.args(["-p", &package.id.to_string()]);`
`120`	`120`	`}`
`121`	`121`
`122`	`122`	`// Incremental compilation causes Creusot to not see all of a crate's code`