@@ -908,6 +908,17 @@ _verify_ciphertext_for_encryption_policy()
echo -e "\tfilenames_encryption_mode: $filenames_encryption_mode"
[ $# -ne 0 ] && echo -e "\toptions: $*"
+ cat >> $seqres.full <<EOF
+Full ciphertext verification parameters:
+ contents_encryption_mode = $contents_encryption_mode
+ filenames_encryption_mode = $filenames_encryption_mode
+ policy_flags = $policy_flags
+ set_encpolicy_args = $set_encpolicy_args
+ keyspec = $keyspec
+ raw_key_hex = $raw_key_hex
+ crypt_util_contents_args = $crypt_util_contents_args
+ crypt_util_filename_args = $crypt_util_filename_args
+EOF
_do_verify_ciphertext_for_encryption_policy \
"$contents_encryption_mode" \
"$filenames_encryption_mode" \