From 596bc5085ac036f02459dd77823f8b6df27fbea1 Mon Sep 17 00:00:00 2001
From: Adrian Palacios <73246657+adpaco-aws@users.noreply.github.com>
Date: Fri, 11 Aug 2023 11:03:52 -0400
Subject: [PATCH] Add `async-lib` unstable flag to slow tokio test (#2675)

---
 tests/slow/tokio-proofs/Cargo.toml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/tests/slow/tokio-proofs/Cargo.toml b/tests/slow/tokio-proofs/Cargo.toml
index 2f96a3b8bb99..0ffe95b3a4e0 100644
--- 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