Add async-lib unstable flag to slow tokio test

adpaco-aws · Aug 11, 2023 · e4e33f0 · e4e33f0
1 parent 7fc9fa7
commit e4e33f0
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/tests/slow/tokio-proofs/Cargo.toml b/tests/slow/tokio-proofs/Cargo.toml
@@ -19,3 +19,6 @@ tokio-util = { version = "0.7.3", features = ["io"] }
 async-stream = "0.3.3"
 # mockall = "0.11.1"
 # async-stream = "0.3"
+
+[kani.unstable]
+async-lib = true