chore(s2n-quic-core): use cadical for weighted_average_test#2142

camshaft merged 1 commit intoaws:mainaws/s2n-quic:mainfrom

adpaco-aws:cadical-weighted-testadpaco-aws/s2n-quic:cadical-weighted-testCopy head branch name to clipboard