test(s2n-quic-core): switch solver to CaDiCaL for `weighted_average_t…

…est` (#2142)
aws · Mar 5, 2024 · 670b7ad · 670b7ad
1 parent d103836
commit 670b7ad
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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!()