From 8c8c21c63bb75befe69eb77a0435197cc85bdf79 Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Wed, 3 Nov 2021 22:35:47 +0100 Subject: [PATCH] use partial_string/1 for much quicker test --- src/lib/crypto.pl | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/src/lib/crypto.pl b/src/lib/crypto.pl index a6f7ad0e..3d19a72b 100644 --- a/src/lib/crypto.pl +++ b/src/lib/crypto.pl @@ -620,8 +620,11 @@ encoding_chars(octet, Bs, Cs) :- ), must_be_byte_chars(Cs, crypto_encoding). encoding_chars(utf8, Cs, Cs) :- - must_be(list, Cs), - maplist(must_be(character), Cs). + ( partial_string(Cs) -> + true + ; must_be(list, Cs), + maplist(must_be(character), Cs) + ). /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Digital signatures with Ed25519 -- 2.54.0