dawg-union-verify — io.vinarytree/libdictenstein-clojure 4.0.0-rc.4

Liking cljdoc? Tell your friends :D

Compiling libdictenstein v0.1.0 (/home/dylon/Workspace/f1r3fly.io/libdictenstein) warning: type alias `ScdawgNode` is never used --> src/scdawg.rs:74:6 | 74 | type ScdawgNode<V = ()> = crate::scdawg_core::ScdawgNode<u8, V>; | ^^^^^^^^^^ | = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default warning: type alias `ScdawgCharNode` is never used --> src/scdawg_char.rs:66:6 | 66 | type ScdawgCharNode<V = ()> = crate::scdawg_core::ScdawgNode<char, V>; | ^^^^^^^^^^^^^^ warning: type alias `SuffixNode` is never used --> src/suffix_automaton.rs:150:17 | 150 | pub(crate) type SuffixNode<V = ()> = crate::suffix_automaton_core::SuffixNode<u8, V>; | ^^^^^^^^^^ warning: type alias `SuffixNodeChar` is never used --> src/suffix_automaton_char.rs:149:17 | 149 | pub(crate) type SuffixNodeChar<V = ()> = crate::suffix_automaton_core::SuffixNode<char, V>; | ^^^^^^^^^^^^^^ warning: `libdictenstein` (lib) generated 4 warnings warning: unused import: `libdictenstein::Dictionary` --> tests/proptest_bijective.rs:11:5 | 11 | use libdictenstein::Dictionary; | ^^^^^^^^^^^^^^^^^^^^^^^^^^ | = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default warning: function `alphanumeric_term` is never used --> tests/common/strategies.rs:38:8 | 38 | pub fn alphanumeric_term(min_len: usize, max_len: usize) -> impl Strategy<Value = String> { | ^^^^^^^^^^^^^^^^^ | = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default warning: function `prefix_clustered_terms` is never used --> tests/common/strategies.rs:53:8 | 53 | pub fn prefix_clustered_terms(count: usize) -> impl Strategy<Value = Vec<String>> { | ^^^^^^^^^^^^^^^^^^^^^^ warning: function `suffix_clustered_terms` is never used --> tests/common/strategies.rs:78:8 | 78 | pub fn suffix_clustered_terms(count: usize) -> impl Strategy<Value = Vec<String>> { | ^^^^^^^^^^^^^^^^^^^^^^ warning: function `first_byte_clustered_terms` is never used --> tests/common/strategies.rs:100:8 | 100 | pub fn first_byte_clustered_terms(count: usize) -> impl Strategy<Value = Vec<String>> { | ^^^^^^^^^^^^^^^^^^^^^^^^^^ warning: function `edge_case_terms` is never used --> tests/common/strategies.rs:131:8 | 131 | pub fn edge_case_terms() -> impl Strategy<Value = Vec<String>> { | ^^^^^^^^^^^^^^^ warning: function `byte_sequence` is never used --> tests/common/strategies.rs:161:8 | 161 | pub fn byte_sequence(min_len: usize, max_len: usize) -> impl Strategy<Value = Vec<u8>> { | ^^^^^^^^^^^^^ warning: enum `DictOp` is never used --> tests/common/strategies.rs:172:10 | 172 | pub enum DictOp<V: Clone + std::fmt::Debug> { | ^^^^^^ warning: function `dict_ops_strategy` is never used --> tests/common/strategies.rs:186:8 | 186 | pub fn dict_ops_strategy<V>( | ^^^^^^^^^^^^^^^^^ warning: function `insert_remove_ops` is never used --> tests/common/strategies.rs:209:8 | 209 | pub fn insert_remove_ops(count: usize) -> impl Strategy<Value = Vec<DictOp<()>>> { | ^^^^^^^^^^^^^^^^^ warning: function `u32_value` is never used --> tests/common/strategies.rs:218:8 | 218 | pub fn u32_value() -> impl Strategy<Value = u32> { | ^^^^^^^^^ warning: function `i64_value` is never used --> tests/common/strategies.rs:223:8 | 223 | pub fn i64_value() -> impl Strategy<Value = i64> { | ^^^^^^^^^ warning: function `overlapping_term_sets` is never used --> tests/common/strategies.rs:241:8 | 241 | pub fn overlapping_term_sets( | ^^^^^^^^^^^^^^^^^^^^^ warning: function `three_term_sets` is never used --> tests/common/strategies.rs:272:8 | 272 | pub fn three_term_sets( | ^^^^^^^^^^^^^^^ warning: function `dedupe_terms` is never used --> tests/common/strategies.rs:294:8 | 294 | pub fn dedupe_terms(terms: Vec<String>) -> Vec<String> { | ^^^^^^^^^^^^ warning: function `sets_equal` is never used --> tests/common/strategies.rs:303:8 | 303 | pub fn sets_equal<T: Eq + std::hash::Hash>(a: &[T], b: &[T]) -> bool { | ^^^^^^^^^^ warning: function `unicode_term` is never used --> tests/common/strategies.rs:28:8 | 28 | pub fn unicode_term(min_len: usize, max_len: usize) -> impl Strategy<Value = String> { | ^^^^^^^^^^^^ | = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default warning: function `alphanumeric_term` is never used --> tests/common/strategies.rs:38:8 | 38 | pub fn alphanumeric_term(min_len: usize, max_len: usize) -> impl Strategy<Value = String> { | ^^^^^^^^^^^^^^^^^ warning: function `string_value` is never used --> tests/common/strategies.rs:228:8 | 228 | pub fn string_value() -> impl Strategy<Value = String> { | ^^^^^^^^^^^^ warning: unused import: `CompactableDictionary` --> tests/proptest_core_dictionaries.rs:17:22 | 17 | use libdictenstein::{CompactableDictionary, Dictionary}; | ^^^^^^^^^^^^^^^^^^^^^ | = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default warning: unused import: `libdictenstein::MappedDictionary` --> tests/common/macros.rs:263:29 | 263 | use libdictenstein::MappedDictionary; | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | ::: tests/proptest_trait_macros.rs:35:1 | 35 | / test_mapped_dictionary!( 36 | | dawg_mapped => DynamicDawg::<u32>::new(), 37 | | dawg_char_mapped => DynamicDawgChar::<u32>::new(), 38 | | ); | |_- in this macro invocation | = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default = note: this warning originates in the macro `test_mapped_dictionary` (in Nightly builds, run with -Z macro-backtrace for more info) warning: unused import: `libdictenstein::MappedDictionary` --> tests/common/macros.rs:236:29 | 236 | use libdictenstein::MappedDictionary; | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | ::: tests/proptest_trait_macros.rs:35:1 | 35 | / test_mapped_dictionary!( 36 | | dawg_mapped => DynamicDawg::<u32>::new(), 37 | | dawg_char_mapped => DynamicDawgChar::<u32>::new(), 38 | | ); | |_- in this macro invocation | = note: this warning originates in the macro `test_mapped_dictionary` (in Nightly builds, run with -Z macro-backtrace for more info) warning: unused import: `libdictenstein::MappedDictionary` --> tests/proptest_trait_macros.rs:14:5 | 14 | use libdictenstein::MappedDictionary; | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ warning: unused import: `libdictenstein::MappedDictionary` --> tests/common/macros.rs:263:29 | 263 | use libdictenstein::MappedDictionary; | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | ::: tests/proptest_trait_macros.rs:35:1 | 35 | / test_mapped_dictionary!( 36 | | dawg_mapped => DynamicDawg::<u32>::new(), 37 | | dawg_char_mapped => DynamicDawgChar::<u32>::new(), 38 | | ); | |_- in this macro invocation | = note: this warning originates in the macro `test_mapped_dictionary` (in Nightly builds, run with -Z macro-backtrace for more info) warning: unused import: `libdictenstein::SubstringDictionary` --> tests/scdawg_core_parity.rs:14:5 | 14 | use libdictenstein::SubstringDictionary; | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default warning: `libdictenstein` (test "proptest_bijective") generated 16 warnings warning: `libdictenstein` (test "double_array_trie_correspondence") generated 17 warnings (14 duplicates) warning: unused import: `libdictenstein::MappedDictionary` --> tests/bijective_trait_invariant.rs:20:5 | 20 | use libdictenstein::MappedDictionary; | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default warning: `libdictenstein` (test "dynamic_dawg_mutation_correspondence") generated 16 warnings (16 duplicates) warning: `libdictenstein` (test "scdawg_core_parity") generated 1 warning warning: `libdictenstein` (test "bijective_trait_invariant") generated 1 warning warning: `libdictenstein` (test "proptest_zipper_operations") generated 15 warnings (15 duplicates) warning: `libdictenstein` (test "valued_set_combinator_correspondence") generated 17 warnings (17 duplicates) warning: `libdictenstein` (test "proptest_core_dictionaries") generated 14 warnings (13 duplicates) warning: `libdictenstein` (test "dynamic_dawg_u64_correspondence") generated 17 warnings (17 duplicates) warning: `libdictenstein` (test "proptest_trait_macros") generated 21 warnings (17 duplicates) warning: `libdictenstein` (test "dictionary_law_correspondence") generated 13 warnings (13 duplicates) warning: `libdictenstein` (test "zipper_language_correspondence") generated 15 warnings (15 duplicates) warning: `libdictenstein` (lib test) generated 4 warnings (4 duplicates) Finished `test` profile [unoptimized + debuginfo] target(s) in 1.19s ──────────── Nextest run ID ea935af1-5234-4096-9760-32505c005ced with nextest profile: default Starting 199 tests across 86 binaries (552 tests skipped) PASS [ 0.005s] ( 1/199) libdictenstein dynamic_dawg::tests::test_minimize_empty PASS [ 0.005s] ( 2/199) libdictenstein dynamic_dawg::tests::test_minimize_basic PASS [ 0.005s] ( 3/199) libdictenstein dynamic_dawg::tests::test_minimize_idempotent PASS [ 0.005s] ( 4/199) libdictenstein dynamic_dawg::tests::test_minimize_no_false_positives PASS [ 0.005s] ( 5/199) libdictenstein dynamic_dawg::tests::test_minimize_single_term PASS [ 0.006s] ( 6/199) libdictenstein dynamic_dawg::tests::test_batch_remove_many PASS [ 0.006s] ( 7/199) libdictenstein dynamic_dawg::tests::test_minimize_after_deletions PASS [ 0.006s] ( 8/199) libdictenstein dynamic_dawg::tests::test_compaction_flag PASS [ 0.006s] ( 9/199) libdictenstein dynamic_dawg::tests::test_dynamic_dawg_compact PASS [ 0.005s] ( 10/199) libdictenstein dynamic_dawg_char::tests::test_dynamic_dawg_compact PASS [ 0.006s] ( 11/199) libdictenstein dynamic_dawg::tests::test_compact_no_false_positives PASS [ 0.006s] ( 12/199) libdictenstein dynamic_dawg_char::tests::test_minimize_no_false_positives PASS [ 0.006s] ( 13/199) libdictenstein dynamic_dawg::tests::test_dynamic_dawg_remove PASS [ 0.006s] ( 14/199) libdictenstein dynamic_dawg::tests::test_dynamic_dawg_insert PASS [ 0.006s] ( 15/199) libdictenstein dynamic_dawg::tests::test_batch_extend PASS [ 0.007s] ( 16/199) libdictenstein dynamic_dawg::tests::test_minimize_with_shared_suffixes PASS [ 0.006s] ( 17/199) libdictenstein dynamic_dawg::tests::test_minimize_vs_compact PASS [ 0.006s] ( 18/199) libdictenstein dynamic_dawg_char::tests::test_minimize_after_deletions PASS [ 0.006s] ( 19/199) libdictenstein dynamic_dawg_char::tests::test_dynamic_dawg_insert PASS [ 0.007s] ( 20/199) libdictenstein dynamic_dawg::tests::test_mapped_dictionary_trait PASS [ 0.006s] ( 21/199) libdictenstein dynamic_dawg::tests::test_valued_dawg_basic PASS [ 0.006s] ( 22/199) libdictenstein dynamic_dawg_char::tests::test_mapped_dictionary_trait PASS [ 0.007s] ( 23/199) libdictenstein dynamic_dawg::tests::test_valued_dawg_with_remove PASS [ 0.007s] ( 24/199) libdictenstein dynamic_dawg_char::tests::test_compaction_flag PASS [ 0.007s] ( 25/199) libdictenstein dynamic_dawg_char::tests::test_minimize_idempotent PASS [ 0.007s] ( 26/199) libdictenstein dynamic_dawg_char::tests::test_compact_no_false_positives PASS [ 0.007s] ( 27/199) libdictenstein dynamic_dawg_char::tests::test_batch_remove_many PASS [ 0.008s] ( 28/199) libdictenstein dynamic_dawg_char::tests::test_minimize_single_term PASS [ 0.008s] ( 29/199) libdictenstein dynamic_dawg_char::tests::test_minimize_basic PASS [ 0.008s] ( 30/199) libdictenstein dynamic_dawg_char::tests::test_minimize_empty PASS [ 0.008s] ( 31/199) libdictenstein dynamic_dawg_char::tests::test_batch_extend PASS [ 0.005s] ( 32/199) libdictenstein dynamic_dawg_char_zipper::tests::test_children_iteration PASS [ 0.005s] ( 33/199) libdictenstein dynamic_dawg_char_zipper::tests::test_descend_nonexistent PASS [ 0.005s] ( 34/199) libdictenstein dynamic_dawg_char::tests::test_valued_dawg_with_remove PASS [ 0.009s] ( 35/199) libdictenstein dynamic_dawg_char::tests::test_dynamic_dawg_remove PASS [ 0.006s] ( 36/199) libdictenstein dynamic_dawg_char::tests::test_minimize_with_shared_suffixes PASS [ 0.005s] ( 37/199) libdictenstein dynamic_dawg_char::tests::test_valued_dawg_basic PASS [ 0.005s] ( 38/199) libdictenstein dynamic_dawg_char_zipper::tests::test_path_tracking PASS [ 0.005s] ( 39/199) libdictenstein dynamic_dawg_char_zipper::tests::test_root_zipper_not_final PASS [ 0.005s] ( 40/199) libdictenstein dynamic_dawg_char_zipper::tests::test_concurrent_access PASS [ 0.006s] ( 41/199) libdictenstein dynamic_dawg_char_zipper::tests::test_clone_independence PASS [ 0.005s] ( 42/199) libdictenstein dynamic_dawg_u64::tests::test_clone PASS [ 0.006s] ( 43/199) libdictenstein dynamic_dawg_char_zipper::tests::test_empty_dictionary PASS [ 0.005s] ( 44/199) libdictenstein dynamic_dawg_char_zipper::tests::test_value_none_for_non_final PASS [ 0.005s] ( 45/199) libdictenstein dynamic_dawg_char_zipper::tests::test_valued_zipper PASS [ 0.005s] ( 46/199) libdictenstein dynamic_dawg_u64::tests::test_contains_sequence PASS [ 0.007s] ( 47/199) libdictenstein dynamic_dawg_char::tests::test_minimize_vs_compact PASS [ 0.006s] ( 48/199) libdictenstein dynamic_dawg_char_zipper::tests::test_unicode_navigation PASS [ 0.007s] ( 49/199) libdictenstein dynamic_dawg_char_zipper::tests::test_descend_and_finality PASS [ 0.005s] ( 50/199) libdictenstein dynamic_dawg_u64::tests::test_f64_edge_cases PASS [ 0.005s] ( 51/199) libdictenstein dynamic_dawg_u64::tests::test_dictionary_trait PASS [ 0.005s] ( 52/199) libdictenstein dynamic_dawg_u64::tests::test_from_terms PASS [ 0.005s] ( 53/199) libdictenstein dynamic_dawg_u64::tests::test_insert_sequence PASS [ 0.006s] ( 54/199) libdictenstein dynamic_dawg_u64::tests::test_f64_api PASS [ 0.007s] ( 55/199) libdictenstein dynamic_dawg_char_zipper::tests::test_unicode_valued_zipper PASS [ 0.005s] ( 56/199) libdictenstein dynamic_dawg_u64::tests::test_new_dawg_is_empty PASS [ 0.007s] ( 57/199) libdictenstein dynamic_dawg_u64::tests::test_extend PASS [ 0.008s] ( 58/199) libdictenstein dynamic_dawg_u64::tests::test_empty_sequence PASS [ 0.007s] ( 59/199) libdictenstein dynamic_dawg_u64::tests::test_remove_sequence PASS [ 0.007s] ( 60/199) libdictenstein dynamic_dawg_u64::tests::test_node_count PASS [ 0.007s] ( 61/199) libdictenstein dynamic_dawg_u64::tests::test_prefix_sharing PASS [ 0.007s] ( 62/199) libdictenstein dynamic_dawg_u64_zipper::tests::test_f64_navigation PASS [ 0.008s] ( 63/199) libdictenstein dynamic_dawg_u64_zipper::tests::test_children_iteration PASS [ 0.008s] ( 64/199) libdictenstein dynamic_dawg_u64_zipper::tests::test_descend_nonexistent PASS [ 0.008s] ( 65/199) libdictenstein dynamic_dawg_u64::tests::test_string_api PASS [ 0.006s] ( 66/199) libdictenstein dynamic_dawg_zipper::tests::test_clone_independence PASS [ 0.008s] ( 67/199) libdictenstein dynamic_dawg_u64_zipper::tests::test_descend_and_finality PASS [ 0.013s] ( 68/199) libdictenstein dynamic_dawg_u64::tests::test_concurrent_reads_and_writes PASS [ 0.025s] ( 69/199) libdictenstein dynamic_dawg_u64::tests::test_stress_50_writers_same_keys PASS [ 0.016s] ( 70/199) libdictenstein dynamic_dawg_zipper::tests::test_value_none_for_non_final PASS [ 0.021s] ( 71/199) libdictenstein dynamic_dawg_zipper::tests::test_concurrent_access PASS [ 0.023s] ( 72/199) libdictenstein dynamic_dawg_u64_zipper::tests::test_path_tracking PASS [ 0.019s] ( 73/199) libdictenstein dynamic_dawg_zipper::tests::test_root_zipper_not_final PASS [ 0.023s] ( 74/199) libdictenstein dynamic_dawg_u64_zipper::tests::test_f64_valued_zipper PASS [ 0.013s] ( 75/199) libdictenstein suffix_automaton::tests::test_union_with_conflicts_max PASS [ 0.023s] ( 76/199) libdictenstein dynamic_dawg_u64_zipper::tests::test_value_none_for_non_final PASS [ 0.017s] ( 77/199) libdictenstein dynamic_dawg_zipper::tests::test_empty_dictionary PASS [ 0.024s] ( 78/199) libdictenstein dynamic_dawg_u64::tests::test_valued_dawg PASS [ 0.012s] ( 79/199) libdictenstein dynamic_dawg_zipper::tests::test_valued_zipper PASS [ 0.024s] ( 80/199) libdictenstein dynamic_dawg_u64_zipper::tests::test_clone_independence PASS [ 0.023s] ( 81/199) libdictenstein dynamic_dawg_u64_zipper::tests::test_root_zipper_not_final PASS [ 0.024s] ( 82/199) libdictenstein dynamic_dawg_u64_zipper::tests::test_concurrent_access PASS [ 0.023s] ( 83/199) libdictenstein dynamic_dawg_u64_zipper::tests::test_valued_zipper PASS [ 0.029s] ( 84/199) libdictenstein dynamic_dawg_u64::tests::test_concurrent_inserts PASS [ 0.020s] ( 85/199) libdictenstein dynamic_dawg_zipper::tests::test_descend_and_finality PASS [ 0.022s] ( 86/199) libdictenstein dynamic_dawg_zipper::tests::test_children_iteration PASS [ 0.024s] ( 87/199) libdictenstein dynamic_dawg_u64_zipper::tests::test_f64_edge_cases PASS [ 0.016s] ( 88/199) libdictenstein suffix_automaton::tests::test_union_with_both_empty PASS [ 0.014s] ( 89/199) libdictenstein suffix_automaton::tests::test_union_with_no_conflicts PASS [ 0.035s] ( 90/199) libdictenstein dynamic_dawg_u64_zipper::tests::test_empty_dictionary PASS [ 0.020s] ( 91/199) libdictenstein factory::tests::test_factory_dynamic_dawg PASS [ 0.020s] ( 92/199) libdictenstein suffix_automaton::tests::test_union_with_conflicts_sum PASS [ 0.012s] ( 93/199) libdictenstein suffix_automaton_char::tests::test_union_with_conflicts_sum PASS [ 0.015s] ( 94/199) libdictenstein suffix_automaton_char::tests::test_union_with_no_conflicts PASS [ 0.018s] ( 95/199) libdictenstein union_zipper::tests::test_lattice_bool PASS [ 0.022s] ( 96/199) libdictenstein union_zipper::tests::test_lattice_hashset_disjoint PASS [ 0.044s] ( 97/199) libdictenstein dynamic_dawg_zipper::tests::test_descend_nonexistent PASS [ 0.019s] ( 98/199) libdictenstein symmetric_difference_zipper::tests::test_property_symmetric_difference_equals_difference_union PASS [ 0.049s] ( 99/199) libdictenstein dynamic_dawg_u64_zipper::tests::test_wait_free_reads_during_writes PASS [ 0.022s] libdictenstein dynamic_dawg_u64::tests::test_stress_50_writers_disjoint_keys ──────────── Summary [ 1.387s] 199 tests run: 199 passed, 552 skipped

❮D5 Handoff: Upgrade `bincode` 1.3 → 3.0 deadlock-vocab-verify❯

Can you improve this documentation?Edit on GitHub

cljdoc builds & hosts documentation for Clojure/Script libraries

Keyboard shortcuts

`Ctrl`+`k`	Jump to recent docs
`←`	Move to previous article
`→`	Move to next article
`Ctrl`+`/`	Jump to the search field

Raise an issue Browse cljdoc source Chat on Slack

× close