use partial_string/1 for much quicker test

This commit is contained in:
Markus Triska
2021-11-03 22:35:47 +01:00
parent 55dabbe16a
commit 8c8c21c63b

View File

@@ -620,8 +620,11 @@ encoding_chars(octet, Bs, Cs) :-
), ),
must_be_byte_chars(Cs, crypto_encoding). must_be_byte_chars(Cs, crypto_encoding).
encoding_chars(utf8, Cs, Cs) :- encoding_chars(utf8, Cs, Cs) :-
must_be(list, Cs), ( partial_string(Cs) ->
maplist(must_be(character), Cs). true
; must_be(list, Cs),
maplist(must_be(character), Cs)
).
/* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Digital signatures with Ed25519 Digital signatures with Ed25519