- * has no influence). Use BT_ASSERT_PRE() to check a precondition which
- * must be directly or indirectly satisfied by the library user.
+ * has no influence). Use BT_ASSERT_PRE() or BT_ASSERT_POST() to check
+ * preconditions or postconditions which must be directly or indirectly
+ * satisfied by the library user.