Switch solver to CaDiCaL for weighted_average_test

aws · Mar 4, 2024 · e78dbb3 · e78dbb3
1 parent d103836
commit e78dbb3
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!()