Add small test description

model-checking · Feb 22, 2022 · 17f4b9d · 17f4b9d
1 parent 66fed1c
commit 17f4b9d
Showing 1 changed file with 4 additions and 0 deletions.
diff --git 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;