From e78dbb354f727147ceedb628c26cafba955696be Mon Sep 17 00:00:00 2001 From: Adrian Palacios Date: Mon, 4 Mar 2024 21:55:59 +0000 Subject: [PATCH] Switch solver to CaDiCaL for `weighted_average_test` --- quic/s2n-quic-core/src/recovery/rtt_estimator.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/quic/s2n-quic-core/src/recovery/rtt_estimator.rs b/quic/s2n-quic-core/src/recovery/rtt_estimator.rs index bff97d4193..614f72ad1a 100644 --- a/quic/s2n-quic-core/src/recovery/rtt_estimator.rs +++ b/quic/s2n-quic-core/src/recovery/rtt_estimator.rs @@ -788,7 +788,7 @@ mod test { } #[test] - #[cfg_attr(kani, kani::proof, kani::unwind(3), kani::solver(kissat))] + #[cfg_attr(kani, kani::proof, kani::unwind(3), kani::solver(cadical))] #[cfg_attr(miri, ignore)] // This test is too expensive for miri to complete in a reasonable amount of time fn weighted_average_test() { bolero::check!()