Fix docs & failing test (#188)

Author: expede

.github/workflows/dictionary.txt

@@ -1,93 +1,146 @@
+alphanumerics
 apache
 APIs
+args
+arity
+array-of-ints
 assignees
 async
 auth
 authN
 authz
 base58btc
+Behaviour
 Benchmarking
 benchmarking
 brooklynzelenka
+btc
+btc-decode
+btc-encode
 BTreeMap
 cargo-udeps
 CBOR
 CID
+CIDs
+CIDv
 CIDv1
 CLI
 codec
+combinators
+Config
 CRDT
 CRDTs
 crypto
 cryptographic
 cryptographically
+CSPRNG
 DAG-CBOR
 DAG-JSON
+DAG-PB
 DagCborCodec
 DagJsonCodec
 DCBOR
+dep
+deps
+deserialized
+Desugaring
 Deserialize
 deserialization
+deserializer
+deserializers
+deserializes
 DID
 DIDs
 direnv
+Disjunction
+disjunct
 doxing
 ECDH
 ECDSA
 ed25519
 EdDSA
 enum
+EnvelopePayload
+errored
+erroring
 et
 expede
+Hardcode
+hardcoded
 http
+IANA
 impl
 impls
+invoker
 IPLD
 IRust
 jq
+LEB
 LEB128
+matcher
+md
 MiB
+MSRV
+multibase
 multicodec
 Multicodec
 multihash
+NaN
 nbf
 newtype
 newtypes
 NixOS
+nonces
+Nonces
 no_std
 OCap
 ocap
+PayloadTag
 PoLA
+powerline
 pre-commit
 Pre-commit
 proptest
 Powerline
 rc
+RDRAND
+re-deserialized
 README
 Roundtrip
 roundtrip
+roundtrips
 RFC
 RSA
 RustSec
 runtimes
 Screencaps
+secp
 secp256k1
+Selectable
 Serde
+serde
 Serialize
+SHA
 SHA-256
 struct
 toolchain
 ucan
 UCAN
 UCANs
 UI
+unescaped
+unrepresentable
 usecases
 unwelcomed
+Validators
 Varsig
 varsig
 VarsigConfig
+verifiers
 Wasm
 WebAssembly
 WebCrypto
 www
+xF
 Zelenka
+zero-dep

ucan/src/delegation/policy/selector/select.rs

@@ -266,6 +266,7 @@ mod tests {
         use proptest_arbitrary_interop::arb;
 
         proptest! {
+            #![proptest_config(ProptestConfig { cases: 64, ..ProptestConfig::default() })]
             #[test_log::test]
             fn test_identity(data in arb::<InternalIpld>()) {
                 let selector = Select::<InternalIpld>::from_str(".")?;
@@ -274,6 +275,7 @@ mod tests {
         }
 
         proptest! {
+            #![proptest_config(ProptestConfig { cases: 64, ..ProptestConfig::default() })]
             #[test_log::test]
             fn test_try_missing_is_null(data in arb::<InternalIpld>()) {
                 let selector = Select::<Ipld>::from_str(".foo?")?;
@@ -290,6 +292,7 @@ mod tests {
         }
 
         proptest! {
+            #![proptest_config(ProptestConfig { cases: 64, ..ProptestConfig::default() })]
             #[test_log::test]
             fn test_try_missing_plus_trailing_is_null(data in arb::<InternalIpld>(), more in arb::<Vec<Filter>>()) {
                 let mut filters = vec![Filter::Try(Box::new(Filter::Field("foo".into())))];