ci: move Kani options to Cargo.toml (#2116)

Author: zhassan-aws

.github/workflows/ci.yml

@@ -708,7 +708,6 @@ jobs:
         uses: model-checking/kani-github-action@v1.1
         with:
           working-directory: ${{ matrix.crate }}
-          args: --tests -Z stubbing
 
   dhat:
     runs-on: ubuntu-latest

quic/s2n-quic-core/Cargo.toml

@@ -57,3 +57,7 @@ s2n-codec = { path = "../../common/s2n-codec", features = ["testing"] }
 
 [target.'cfg(loom)'.dev-dependencies]
 loom = { version = "0.7", features = ["checkpoint", "futures"] }
+
+[package.metadata.kani]
+flags = { tests = true }
+unstable = { stubbing = true }

quic/s2n-quic-platform/Cargo.toml

@@ -44,3 +44,7 @@ insta = { version = "1", features = ["json"] }
 s2n-quic-core = { path = "../s2n-quic-core", features = ["testing"] }
 tokio = { version = "1", features = ["full"] }
 tracing = { version = "0.1" }
+
+[package.metadata.kani]
+flags = { tests = true }
+unstable = { stubbing = true }