diff --git a/tests/kani/Intrinsics/Saturating/main.rs b/tests/kani/Intrinsics/Saturating/main.rs
index 2ee671ca4523..413db77bac22 100644
--- a/tests/kani/Intrinsics/Saturating/main.rs
+++ b/tests/kani/Intrinsics/Saturating/main.rs
@@ -1,5 +1,9 @@
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: Apache-2.0 OR MIT
+
+// Check that `saturating_add` and `saturating_sub` are supported and return the
+// expected results.
+
 #![feature(core_intrinsics)]
 use std::intrinsics;