/dports/math/yices/yices-2.6.2/src/model/ |
H A D | literal_collector.c | 66 collect->terms = mdl->terms; in init_lit_collector() 67 collect->manager = mngr; in init_lit_collector() 68 collect->model = mdl; in init_lit_collector() 114 if (is_boolean_term(collect->terms, t) && !collect->bool_are_terms) { in lit_collector_find_cached_term() 116 cache = &collect->fcache; in lit_collector_find_cached_term() 137 assert(good_term(collect->terms, t) && good_term(collect->terms, u)); in lit_collector_cache_result() 140 if (is_boolean_term(collect->terms, t) && !collect->bool_are_terms) { in lit_collector_cache_result() 159 longjmp(collect->env, v); in lit_collector_eval() 351 if (collect->bool_are_terms && simple_bool_term(collect, t)) { in register_atom() 621 assert(is_constant_term(collect->terms, k) && is_integer_term(collect->terms, k)); in lit_collector_visit_arith_divides_atom() [all …]
|
/dports/astro/gpsd/gpsd-3.20/tests/ |
H A D | test_gpsmm.cpp | 46 (unsigned int)collect->set, gps_maskdump(collect->set)); in libgps_dump_state() 48 if (collect->set & ONLINE_SET) in libgps_dump_state() 51 if (collect->set & TIME_SET) in libgps_dump_state() 57 collect->fix.latitude, collect->fix.longitude); in libgps_dump_state() 60 collect->fix.altHAE, collect->fix.climb); in libgps_dump_state() 61 if (collect->set & SPEED_SET) in libgps_dump_state() 69 if (collect->set & MODE_SET) in libgps_dump_state() 71 if (collect->set & DOP_SET) in libgps_dump_state() 74 collect->satellites_used, collect->dop.pdop, in libgps_dump_state() 75 collect->dop.hdop, collect->dop.vdop); in libgps_dump_state() [all …]
|
/dports/math/yices/yices-2.6.2/src/terms/ |
H A D | free_var_collector.c | 32 collect->terms = ttbl; in init_fvar_collector() 34 init_harray_store(&collect->store); in init_fvar_collector() 35 init_pstack(&collect->stack); in init_fvar_collector() 43 delete_ptr_hmap(&collect->map); in delete_fvar_collector() 45 delete_pstack(&collect->stack); in delete_fvar_collector() 53 ptr_hmap_reset(&collect->map); in reset_fvar_collector() 54 reset_harray_store(&collect->store); in reset_fvar_collector() 55 reset_pstack(&collect->stack); in reset_fvar_collector() 286 terms = collect->terms; in get_free_vars_of_term() 459 ptr_hmap_remove_records(&collect->map, collect->terms, fvar_dead_hmap_pair); in cleanup_fvar_collector() [all …]
|
/dports/astro/gpsd/gpsd-3.20/ |
H A D | libgps_core.c | 313 (unsigned int)collect->set, gps_maskdump(collect->set)); in libgps_dump_state() 324 collect->fix.latitude, collect->fix.longitude); in libgps_dump_state() 327 collect->fix.altHAE, collect->fix.climb); in libgps_dump_state() 340 collect->status, status_values[collect->status]); in libgps_dump_state() 345 collect->fix.mode, mode_values[collect->fix.mode]); in libgps_dump_state() 350 collect->satellites_used, collect->dop.pdop, in libgps_dump_state() 351 collect->dop.hdop, collect->dop.vdop); in libgps_dump_state() 363 collect->policy.raw, in libgps_dump_state() 374 for (sp = collect->skyview; in libgps_dump_state() 375 sp < collect->skyview + collect->satellites_visible; in libgps_dump_state() [all …]
|
/dports/textproc/htdig/htdig-3.2.0b6/contrib/multidig/ |
H A D | gen-collect | 36 CONF=$CONFIG_DIR/$collect.conf 42 firstdb=`head -n 1 $DB_BASE/$collect/$collect.collect` 48 LENGTH=`wc -l $DB_BASE/$collect/$collect.collect | awk '{print $1;}'` 51 for db in `tail -n $NUM $DB_BASE/$collect/$collect.collect`; do 53 echo Merging db $db of collect $collect 75 cp $DB_BASE/$collect/db.docdb $DB_BASE/$collect/db.docdb.bak 76 cp $DB_BASE/$collect/db.docs.index $DB_BASE/$collect/db.docs.index.bak 78 cp $DB_BASE/$collect/db.words.db $DB_BASE/$collect/db.words.db.bak 84 mv $DB_BASE/$collect/db.docdb.work $DB_BASE/$collect/db.docdb 85 mv $DB_BASE/$collect/db.docs.index.work $DB_BASE/$collect/db.docs.index [all …]
|
/dports/databases/arrow/apache-arrow-6.0.1/r/tests/testthat/ |
H A D | test-dplyr-funcs-string.R | 41 collect(), 47 collect(), 53 collect(), 59 collect(), 65 collect(), 73 collect(), 79 collect(), 85 collect(), 93 collect(), 101 collect(), [all …]
|
/dports/devel/py-ddtrace/ddtrace-0.56.1/tests/tracer/runtime/ |
H A D | test_metrics.py | 35 collect = mock.MagicMock() 38 vc.collect() 42 collect = mock.MagicMock() 44 vc.collect() 46 vc.collect() 50 collect = mock.MagicMock() 53 vc.collect() 55 vc.collect() 57 vc.collect() 73 vc.collect() [all …]
|
/dports/security/vault/vault-1.8.2/vendor/github.com/vmware/govmomi/govc/test/ |
H A D | object.bats | 82 run govc object.collect 85 run govc object.collect -json 88 run govc object.collect - 91 run govc object.collect -json - 94 run govc object.collect - content 97 run govc object.collect -json - content 110 run govc object.collect "$host" 113 run govc object.collect "$host" hardware 321 run govc object.collect -type m 336 run govc object.collect -type n / name [all …]
|
/dports/net-mgmt/bosun/bosun-0.9.0-preview/vendor/github.com/vmware/govmomi/govc/test/ |
H A D | object.bats | 82 run govc object.collect 85 run govc object.collect -json 88 run govc object.collect - 91 run govc object.collect -json - 94 run govc object.collect - content 97 run govc object.collect -json - content 110 run govc object.collect "$host" 113 run govc object.collect "$host" hardware 314 run govc object.collect -type m 329 run govc object.collect -type n / name [all …]
|
/dports/sysutils/py-borgmatic/borgmatic-1.5.21/tests/integration/commands/ |
H A D | test_arguments.py | 9 flexmock(module.collect).should_receive('get_default_config_paths').and_return(config_paths) 22 flexmock(module.collect).should_receive('get_default_config_paths').and_return(['default']) 35 flexmock(module.collect).should_receive('get_default_config_paths').and_return(config_paths) 49 flexmock(module.collect).should_receive('get_default_config_paths').and_return(config_paths) 62 flexmock(module.collect).should_receive('get_default_config_paths').and_return(config_paths) 75 flexmock(module.collect).should_receive('get_default_config_paths').and_return(['default']) 84 flexmock(module.collect).should_receive('get_default_config_paths').and_return(['default']) 93 flexmock(module.collect).should_receive('get_default_config_paths').and_return(['default']) 118 flexmock(module.collect).should_receive('get_default_config_paths').and_return(['default']) 128 flexmock(module.collect).should_receive('get_default_config_paths').and_return(['default']) [all …]
|
/dports/devel/stylua/StyLua-0.11.0/cargo-crates/rayon-1.5.1/tests/ |
H A D | str.rs | 17 let par_chars: String = s.par_chars().collect(); in execute_strings() 25 let vchars: Vec<char> = s.par_chars().collect(); in execute_strings() 26 let par_chars: String = vchars.par_iter().collect(); in execute_strings() 29 let par_bytes: Vec<u8> = s.par_bytes().collect(); in execute_strings() 32 let par_utf16: Vec<u16> = s.par_encode_utf16().collect(); in execute_strings() 33 let ser_utf16: Vec<u16> = s.encode_utf16().collect(); in execute_strings() 36 let par_charind: Vec<_> = s.par_char_indices().collect(); in execute_strings() 37 let ser_charind: Vec<_> = s.char_indices().collect(); in execute_strings() 63 let serial: Vec<_> = string.split(separator).collect(); in execute_strings_split() 85 let serial: Vec<_> = string.lines().collect(); in execute_strings_split() [all …]
|
/dports/multimedia/librav1e/rav1e-0.5.1/cargo-crates/rayon-1.5.1/tests/ |
H A D | str.rs | 17 let par_chars: String = s.par_chars().collect(); in execute_strings() 25 let vchars: Vec<char> = s.par_chars().collect(); in execute_strings() 26 let par_chars: String = vchars.par_iter().collect(); in execute_strings() 29 let par_bytes: Vec<u8> = s.par_bytes().collect(); in execute_strings() 32 let par_utf16: Vec<u16> = s.par_encode_utf16().collect(); in execute_strings() 33 let ser_utf16: Vec<u16> = s.encode_utf16().collect(); in execute_strings() 36 let par_charind: Vec<_> = s.par_char_indices().collect(); in execute_strings() 37 let ser_charind: Vec<_> = s.char_indices().collect(); in execute_strings() 63 let serial: Vec<_> = string.split(separator).collect(); in execute_strings_split() 85 let serial: Vec<_> = string.lines().collect(); in execute_strings_split() [all …]
|
/dports/multimedia/rav1e/rav1e-0.5.1/cargo-crates/rayon-1.5.1/tests/ |
H A D | str.rs | 17 let par_chars: String = s.par_chars().collect(); in execute_strings() 25 let vchars: Vec<char> = s.par_chars().collect(); in execute_strings() 26 let par_chars: String = vchars.par_iter().collect(); in execute_strings() 29 let par_bytes: Vec<u8> = s.par_bytes().collect(); in execute_strings() 32 let par_utf16: Vec<u16> = s.par_encode_utf16().collect(); in execute_strings() 33 let ser_utf16: Vec<u16> = s.encode_utf16().collect(); in execute_strings() 36 let par_charind: Vec<_> = s.par_char_indices().collect(); in execute_strings() 37 let ser_charind: Vec<_> = s.char_indices().collect(); in execute_strings() 63 let serial: Vec<_> = string.split(separator).collect(); in execute_strings_split() 85 let serial: Vec<_> = string.lines().collect(); in execute_strings_split() [all …]
|
/dports/misc/broot/broot-1.7.0/cargo-crates/rayon-1.5.1/tests/ |
H A D | str.rs | 17 let par_chars: String = s.par_chars().collect(); in execute_strings() 25 let vchars: Vec<char> = s.par_chars().collect(); in execute_strings() 26 let par_chars: String = vchars.par_iter().collect(); in execute_strings() 29 let par_bytes: Vec<u8> = s.par_bytes().collect(); in execute_strings() 32 let par_utf16: Vec<u16> = s.par_encode_utf16().collect(); in execute_strings() 33 let ser_utf16: Vec<u16> = s.encode_utf16().collect(); in execute_strings() 36 let par_charind: Vec<_> = s.par_char_indices().collect(); in execute_strings() 37 let ser_charind: Vec<_> = s.char_indices().collect(); in execute_strings() 63 let serial: Vec<_> = string.split(separator).collect(); in execute_strings_split() 85 let serial: Vec<_> = string.lines().collect(); in execute_strings_split() [all …]
|
/dports/devel/cargo-generate/cargo-generate-0.9.0/cargo-crates/rayon-1.5.1/tests/ |
H A D | str.rs | 17 let par_chars: String = s.par_chars().collect(); in execute_strings() 25 let vchars: Vec<char> = s.par_chars().collect(); in execute_strings() 26 let par_chars: String = vchars.par_iter().collect(); in execute_strings() 29 let par_bytes: Vec<u8> = s.par_bytes().collect(); in execute_strings() 32 let par_utf16: Vec<u16> = s.par_encode_utf16().collect(); in execute_strings() 33 let ser_utf16: Vec<u16> = s.encode_utf16().collect(); in execute_strings() 36 let par_charind: Vec<_> = s.par_char_indices().collect(); in execute_strings() 37 let ser_charind: Vec<_> = s.char_indices().collect(); in execute_strings() 63 let serial: Vec<_> = string.split(separator).collect(); in execute_strings_split() 85 let serial: Vec<_> = string.lines().collect(); in execute_strings_split() [all …]
|
/dports/multimedia/gstreamer1-plugins-rust/gst-plugins-rs-d0466b3eee114207f851b37cae0015c0e718f021/cargo-crates/rayon-1.5.1/tests/ |
H A D | str.rs | 17 let par_chars: String = s.par_chars().collect(); in execute_strings() 25 let vchars: Vec<char> = s.par_chars().collect(); in execute_strings() 26 let par_chars: String = vchars.par_iter().collect(); in execute_strings() 29 let par_bytes: Vec<u8> = s.par_bytes().collect(); in execute_strings() 32 let par_utf16: Vec<u16> = s.par_encode_utf16().collect(); in execute_strings() 33 let ser_utf16: Vec<u16> = s.encode_utf16().collect(); in execute_strings() 36 let par_charind: Vec<_> = s.par_char_indices().collect(); in execute_strings() 37 let ser_charind: Vec<_> = s.char_indices().collect(); in execute_strings() 63 let serial: Vec<_> = string.split(separator).collect(); in execute_strings_split() 85 let serial: Vec<_> = string.lines().collect(); in execute_strings_split() [all …]
|
/dports/devel/rust-analyzer/rust-analyzer-2021-12-20/cargo-crates/rayon-1.5.1/tests/ |
H A D | str.rs | 17 let par_chars: String = s.par_chars().collect(); in execute_strings() 25 let vchars: Vec<char> = s.par_chars().collect(); in execute_strings() 26 let par_chars: String = vchars.par_iter().collect(); in execute_strings() 29 let par_bytes: Vec<u8> = s.par_bytes().collect(); in execute_strings() 32 let par_utf16: Vec<u16> = s.par_encode_utf16().collect(); in execute_strings() 33 let ser_utf16: Vec<u16> = s.encode_utf16().collect(); in execute_strings() 36 let par_charind: Vec<_> = s.par_char_indices().collect(); in execute_strings() 37 let ser_charind: Vec<_> = s.char_indices().collect(); in execute_strings() 63 let serial: Vec<_> = string.split(separator).collect(); in execute_strings_split() 85 let serial: Vec<_> = string.lines().collect(); in execute_strings_split() [all …]
|
/dports/games/jaggedalliance2/ja2-stracciatella-0.18.0/cargo-crates/rayon-1.4.0/tests/ |
H A D | str.rs | 17 let par_chars: String = s.par_chars().collect(); in execute_strings() 25 let vchars: Vec<char> = s.par_chars().collect(); in execute_strings() 26 let par_chars: String = vchars.par_iter().collect(); in execute_strings() 29 let par_bytes: Vec<u8> = s.par_bytes().collect(); in execute_strings() 32 let par_utf16: Vec<u16> = s.par_encode_utf16().collect(); in execute_strings() 33 let ser_utf16: Vec<u16> = s.encode_utf16().collect(); in execute_strings() 36 let par_charind: Vec<_> = s.par_char_indices().collect(); in execute_strings() 37 let ser_charind: Vec<_> = s.char_indices().collect(); in execute_strings() 63 let serial: Vec<_> = string.split(separator).collect(); in execute_strings_split() 85 let serial: Vec<_> = string.lines().collect(); in execute_strings_split() [all …]
|
/dports/sysutils/cfengine317/cfengine-3.17.0/tests/acceptance/01_vars/02_functions/ |
H A D | every_some_none.cf | 20 "collect"; 49 "collected" slist => classesmatching(".*", "collect"); 54 "every2" meta => { "collect" }, expression => every(".", "test"); 60 "none2" meta => { "collect" }, expression => none("2", "test"); 66 "everyd11" meta => { "collect" }, expression => every(".*", d1); 67 "everyd12" meta => { "collect" }, expression => every(".", d1); 73 "noned12" meta => { "collect" }, expression => none("2", d1); 76 "everyd22" meta => { "collect" }, expression => every(".", d2); 82 "noned22" meta => { "collect" }, expression => none("2", d2); 95 bundle common collect [all …]
|
/dports/sysutils/cfengine/cfengine-3.19.0/tests/acceptance/01_vars/02_functions/ |
H A D | every_some_none.cf | 20 "collect"; 49 "collected" slist => classesmatching(".*", "collect"); 54 "every2" meta => { "collect" }, expression => every(".", "test"); 60 "none2" meta => { "collect" }, expression => none("2", "test"); 66 "everyd11" meta => { "collect" }, expression => every(".*", d1); 67 "everyd12" meta => { "collect" }, expression => every(".", d1); 73 "noned12" meta => { "collect" }, expression => none("2", d1); 76 "everyd22" meta => { "collect" }, expression => every(".", d2); 82 "noned22" meta => { "collect" }, expression => none("2", d2); 95 bundle common collect [all …]
|
/dports/sysutils/cfengine316/cfengine-3.16.0/tests/acceptance/01_vars/02_functions/ |
H A D | every_some_none.cf | 20 "collect"; 49 "collected" slist => classesmatching(".*", "collect"); 54 "every2" meta => { "collect" }, expression => every(".", "test"); 60 "none2" meta => { "collect" }, expression => none("2", "test"); 66 "everyd11" meta => { "collect" }, expression => every(".*", d1); 67 "everyd12" meta => { "collect" }, expression => every(".", d1); 73 "noned12" meta => { "collect" }, expression => none("2", d1); 76 "everyd22" meta => { "collect" }, expression => every(".", d2); 82 "noned22" meta => { "collect" }, expression => none("2", d2); 95 bundle common collect [all …]
|
/dports/sysutils/cfengine-devel/core-d08ae9eff/tests/acceptance/01_vars/02_functions/ |
H A D | every_some_none.cf | 20 "collect"; 49 "collected" slist => classesmatching(".*", "collect"); 54 "every2" meta => { "collect" }, expression => every(".", "test"); 60 "none2" meta => { "collect" }, expression => none("2", "test"); 66 "everyd11" meta => { "collect" }, expression => every(".*", d1); 67 "everyd12" meta => { "collect" }, expression => every(".", d1); 73 "noned12" meta => { "collect" }, expression => none("2", d1); 76 "everyd22" meta => { "collect" }, expression => every(".", d2); 82 "noned22" meta => { "collect" }, expression => none("2", d2); 95 bundle common collect [all …]
|
/dports/sysutils/cfengine318/cfengine-3.18.1/tests/acceptance/01_vars/02_functions/ |
H A D | every_some_none.cf | 20 "collect"; 49 "collected" slist => classesmatching(".*", "collect"); 54 "every2" meta => { "collect" }, expression => every(".", "test"); 60 "none2" meta => { "collect" }, expression => none("2", "test"); 66 "everyd11" meta => { "collect" }, expression => every(".*", d1); 67 "everyd12" meta => { "collect" }, expression => every(".", d1); 73 "noned12" meta => { "collect" }, expression => none("2", d1); 76 "everyd22" meta => { "collect" }, expression => every(".", d2); 82 "noned22" meta => { "collect" }, expression => none("2", d2); 95 bundle common collect [all …]
|
/dports/devel/grcov/grcov-0.8.2/cargo-crates/rayon-1.5.1/tests/ |
H A D | str.rs | 17 let par_chars: String = s.par_chars().collect(); in execute_strings() 25 let vchars: Vec<char> = s.par_chars().collect(); in execute_strings() 26 let par_chars: String = vchars.par_iter().collect(); in execute_strings() 29 let par_bytes: Vec<u8> = s.par_bytes().collect(); in execute_strings() 32 let par_utf16: Vec<u16> = s.par_encode_utf16().collect(); in execute_strings() 33 let ser_utf16: Vec<u16> = s.encode_utf16().collect(); in execute_strings() 36 let par_charind: Vec<_> = s.par_char_indices().collect(); in execute_strings() 37 let ser_charind: Vec<_> = s.char_indices().collect(); in execute_strings() 63 let serial: Vec<_> = string.split(separator).collect(); in execute_strings_split() 85 let serial: Vec<_> = string.lines().collect(); in execute_strings_split() [all …]
|
/dports/net-im/libsignal-client/libsignal-client-0.9.6/cargo-crates/rayon-1.5.0/tests/ |
H A D | str.rs | 17 let par_chars: String = s.par_chars().collect(); in execute_strings() 25 let vchars: Vec<char> = s.par_chars().collect(); in execute_strings() 26 let par_chars: String = vchars.par_iter().collect(); in execute_strings() 29 let par_bytes: Vec<u8> = s.par_bytes().collect(); in execute_strings() 32 let par_utf16: Vec<u16> = s.par_encode_utf16().collect(); in execute_strings() 33 let ser_utf16: Vec<u16> = s.encode_utf16().collect(); in execute_strings() 36 let par_charind: Vec<_> = s.par_char_indices().collect(); in execute_strings() 37 let ser_charind: Vec<_> = s.char_indices().collect(); in execute_strings() 63 let serial: Vec<_> = string.split(separator).collect(); in execute_strings_split() 85 let serial: Vec<_> = string.lines().collect(); in execute_strings_split() [all …]
|