diff options
author | Eduardo Julian | 2022-11-05 21:23:20 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-11-05 21:23:20 -0400 |
commit | fd8ea1e1b9cae781abe42aeadda2e0ef149994d6 (patch) | |
tree | 7fdc152ac481d4f2a8b7be12c98d11a8c644f541 /stdlib/source/test/lux/world/net/uri/scheme.lux | |
parent | 736521eb56a45122eb0a545b677d3ffca1451080 (diff) |
Property-based testing can now log/print successful seeds from run.
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux/world/net/uri/scheme.lux | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/stdlib/source/test/lux/world/net/uri/scheme.lux b/stdlib/source/test/lux/world/net/uri/scheme.lux index c91c49fbf..868f2cddf 100644 --- a/stdlib/source/test/lux/world/net/uri/scheme.lux +++ b/stdlib/source/test/lux/world/net/uri/scheme.lux @@ -134,30 +134,30 @@ [/.ftp /.file_transfer_protocol] [/.http /.hypertext_transfer_protocol] - [/.https /.secure_hypertext_transfer_protocol] + [/.https /.hypertext_transfer_protocol_secure] [/.imap /.internet_message_access_protocol] [/.ipp /.internet_printing_protocol] - [/.ipps /.secure_internet_printing_protocol] + [/.ipps /.internet_printing_protocol_secure] [/.irc /.internet_relay_chat] - [/.ircs /.secure_internet_relay_chat] + [/.ircs /.internet_relay_chat_secure] [/.ldap /.lightweight_directory_access_protocol] - [/.ldaps /.secure_lightweight_directory_access_protocol] + [/.ldaps /.lightweight_directory_access_protocol_secure] [/.pop /.post_office_protocol] [/.sip /.session_initiation_protocol] - [/.sips /.secure_session_initiation_protocol] + [/.sips /.session_initiation_protocol_secure] [/.sms /.short_message_service] [/.snmp /.simple_network_management_protocol] [/.ssh /.secure_shell_protocol] [/.stun /.session_traversal_utilities_for_nat] - [/.stuns /.secure_session_traversal_utilities_for_nat] + [/.stuns /.session_traversal_utilities_for_nat_secure] [/.turn /.traversal_using_relays_around_nat] - [/.turns /.secure_traversal_using_relays_around_nat] + [/.turns /.traversal_using_relays_around_nat_secure] [/.xmpp /.extensible_messaging_and_presence_protocol])) )))) |