Change how harnesses are specified in cargo-kani tests.

model-checking · Dec 15, 2022 · b11edcd · b11edcd
1 parent 545aba2
commit b11edcd
Show file tree

Hide file tree

Showing 10 changed files with 5 additions and 5 deletions.
diff --git a/tests/cargo-kani/stubbing-do-not-resolve/Cargo.toml b/tests/cargo-kani/stubbing-do-not-resolve/Cargo.toml
@@ -12,4 +12,4 @@ other_crate1 = { path = "other_crate1" }
 other_crate2 = { path = "other_crate2" }
 
 [package.metadata.kani]
-flags = { enable-unstable=true, enable-stubbing=true, harness="my_mod::harness" }
+flags = { enable-unstable=true, enable-stubbing=true }
diff --git a/...rgo-kani/stubbing-do-not-resolve/expected → .../stubbing-do-not-resolve/harness.expected b/...rgo-kani/stubbing-do-not-resolve/expected → .../stubbing-do-not-resolve/harness.expected
diff --git a/tests/cargo-kani/stubbing-extern-path/Cargo.toml b/tests/cargo-kani/stubbing-extern-path/Cargo.toml
@@ -9,4 +9,4 @@ edition = "2021"
 other_crate = { path = "other_crate" }
 
 [package.metadata.kani]
-flags = { enable-unstable=true, enable-stubbing=true, harness="my_mod::harness" }
+flags = { enable-unstable=true, enable-stubbing=true }
diff --git a/.../cargo-kani/stubbing-extern-path/expected → ...ani/stubbing-extern-path/harness.expected b/.../cargo-kani/stubbing-extern-path/expected → ...ani/stubbing-extern-path/harness.expected
diff --git a/tests/cargo-kani/stubbing-foreign-method/Cargo.toml b/tests/cargo-kani/stubbing-foreign-method/Cargo.toml
@@ -9,4 +9,4 @@ edition = "2021"
 other_crate = { path = "other_crate" }
 
 [package.metadata.kani]
-flags = { enable-unstable=true, enable-stubbing=true, harness="main" }
+flags = { enable-unstable=true, enable-stubbing=true }
diff --git a/...rgo-kani/stubbing-foreign-method/expected → ...ani/stubbing-foreign-method/main.expected b/...rgo-kani/stubbing-foreign-method/expected → ...ani/stubbing-foreign-method/main.expected
diff --git a/tests/cargo-kani/stubbing-private-foreign-function/Cargo.toml b/tests/cargo-kani/stubbing-private-foreign-function/Cargo.toml
@@ -9,4 +9,4 @@ edition = "2021"
 other_crate = { path = "other_crate" }
 
 [package.metadata.kani]
-flags = { enable-unstable=true, enable-stubbing=true, harness="main" }
+flags = { enable-unstable=true, enable-stubbing=true }
diff --git a/...tubbing-private-foreign-function/expected → ...ng-private-foreign-function/main.expected b/...tubbing-private-foreign-function/expected → ...ng-private-foreign-function/main.expected
diff --git a/tests/cargo-kani/stubbing-public-foreign-function/Cargo.toml b/tests/cargo-kani/stubbing-public-foreign-function/Cargo.toml
@@ -9,4 +9,4 @@ edition = "2021"
 other_crate = { path = "other_crate" }
 
 [package.metadata.kani]
-flags = { enable-unstable=true, enable-stubbing=true, harness="main" }
+flags = { enable-unstable=true, enable-stubbing=true }
diff --git a/...stubbing-public-foreign-function/expected → ...ing-public-foreign-function/main.expected b/...stubbing-public-foreign-function/expected → ...ing-public-foreign-function/main.expected