| /dports/security/tor/tor-0.4.6.8/src/test/ |
| H A D | test_consdiff.c | 526 smartlist_clear(cons1); in test_consdiff_gen_ed_diff()
541 smartlist_clear(cons1); in test_consdiff_gen_ed_diff()
559 smartlist_clear(cons1); in test_consdiff_gen_ed_diff()
573 smartlist_clear(cons1); in test_consdiff_gen_ed_diff()
590 smartlist_clear(cons1); in test_consdiff_gen_ed_diff()
644 smartlist_clear(cons1); in test_consdiff_gen_ed_diff()
661 smartlist_clear(cons1); in test_consdiff_gen_ed_diff()
676 smartlist_free(cons1); in test_consdiff_gen_ed_diff()
920 smartlist_free(cons1); in test_consdiff_apply_ed_diff()
1002 smartlist_free(cons1); in test_consdiff_gen_diff()
[all …]
|
| /dports/security/tor-devel/tor-0.4.7.2-alpha/src/test/ |
| H A D | test_consdiff.c | 526 smartlist_clear(cons1); in test_consdiff_gen_ed_diff()
541 smartlist_clear(cons1); in test_consdiff_gen_ed_diff()
559 smartlist_clear(cons1); in test_consdiff_gen_ed_diff()
573 smartlist_clear(cons1); in test_consdiff_gen_ed_diff()
590 smartlist_clear(cons1); in test_consdiff_gen_ed_diff()
644 smartlist_clear(cons1); in test_consdiff_gen_ed_diff()
661 smartlist_clear(cons1); in test_consdiff_gen_ed_diff()
676 smartlist_free(cons1); in test_consdiff_gen_ed_diff()
920 smartlist_free(cons1); in test_consdiff_apply_ed_diff()
1002 smartlist_free(cons1); in test_consdiff_gen_diff()
[all …]
|
| /dports/www/firefox/firefox-99.0/third_party/rust/ringbuf/src/tests/ |
| H A D | read_write.rs | 10 let (mut prod1, mut cons1) = buf1.split(); in from()
27 assert_eq!(cons1.pop_slice(&mut tmp), 3); in from()
36 assert_eq!(cons1.pop_slice(&mut tmp), 2); in from()
43 assert_eq!(cons1.pop_slice(&mut tmp), 1); in from()
58 assert_eq!(cons1.pop_slice(&mut tmp), 4); in from()
67 let (mut prod1, mut cons1) = buf1.split(); in into()
82 assert_eq!(cons1.pop_slice(&mut tmp), 3); in into()
91 assert_eq!(cons1.pop_slice(&mut tmp), 2); in into()
98 assert_eq!(cons1.pop_slice(&mut tmp), 1); in into()
115 assert_eq!(cons1.pop_slice(&mut tmp), 4); in into()
[all …]
|
| H A D | multiple.rs | 130 let (mut prod1, mut cons1) = buf1.split(); in move_slice()
139 assert_eq!(cons1.pop_slice(&mut tmp), 3); in move_slice()
146 assert_eq!(cons1.pop_slice(&mut tmp), 3); in move_slice()
155 assert_eq!(cons1.pop_slice(&mut tmp), 4); in move_slice()
164 let (mut prod1, mut cons1) = buf1.split(); in move_slice_count()
172 assert_eq!(cons1.pop_slice(&mut tmp), 2); in move_slice_count()
177 assert_eq!(cons1.pop_slice(&mut tmp), 1); in move_slice_count()
184 assert_eq!(cons1.pop_slice(&mut tmp), 3); in move_slice_count()
191 assert_eq!(cons1.pop_slice(&mut tmp), 4); in move_slice_count()
|
| /dports/mail/thunderbird/thunderbird-91.8.0/third_party/rust/ringbuf/src/tests/ |
| H A D | read_write.rs | 10 let (mut prod1, mut cons1) = buf1.split(); in from()
27 assert_eq!(cons1.pop_slice(&mut tmp), 3); in from()
36 assert_eq!(cons1.pop_slice(&mut tmp), 2); in from()
43 assert_eq!(cons1.pop_slice(&mut tmp), 1); in from()
58 assert_eq!(cons1.pop_slice(&mut tmp), 4); in from()
67 let (mut prod1, mut cons1) = buf1.split(); in into()
82 assert_eq!(cons1.pop_slice(&mut tmp), 3); in into()
91 assert_eq!(cons1.pop_slice(&mut tmp), 2); in into()
98 assert_eq!(cons1.pop_slice(&mut tmp), 1); in into()
115 assert_eq!(cons1.pop_slice(&mut tmp), 4); in into()
[all …]
|
| H A D | multiple.rs | 77 let (mut prod1, mut cons1) = buf1.split(); in move_slice()
86 assert_eq!(cons1.pop_slice(&mut tmp), 3); in move_slice()
93 assert_eq!(cons1.pop_slice(&mut tmp), 3); in move_slice()
102 assert_eq!(cons1.pop_slice(&mut tmp), 4); in move_slice()
111 let (mut prod1, mut cons1) = buf1.split(); in move_slice_count()
119 assert_eq!(cons1.pop_slice(&mut tmp), 2); in move_slice_count()
124 assert_eq!(cons1.pop_slice(&mut tmp), 1); in move_slice_count()
131 assert_eq!(cons1.pop_slice(&mut tmp), 3); in move_slice_count()
138 assert_eq!(cons1.pop_slice(&mut tmp), 4); in move_slice_count()
|
| /dports/www/firefox-esr/firefox-91.8.0/third_party/rust/ringbuf/src/tests/ |
| H A D | read_write.rs | 10 let (mut prod1, mut cons1) = buf1.split(); in from()
27 assert_eq!(cons1.pop_slice(&mut tmp), 3); in from()
36 assert_eq!(cons1.pop_slice(&mut tmp), 2); in from()
43 assert_eq!(cons1.pop_slice(&mut tmp), 1); in from()
58 assert_eq!(cons1.pop_slice(&mut tmp), 4); in from()
67 let (mut prod1, mut cons1) = buf1.split(); in into()
82 assert_eq!(cons1.pop_slice(&mut tmp), 3); in into()
91 assert_eq!(cons1.pop_slice(&mut tmp), 2); in into()
98 assert_eq!(cons1.pop_slice(&mut tmp), 1); in into()
115 assert_eq!(cons1.pop_slice(&mut tmp), 4); in into()
[all …]
|
| H A D | multiple.rs | 77 let (mut prod1, mut cons1) = buf1.split(); in move_slice()
86 assert_eq!(cons1.pop_slice(&mut tmp), 3); in move_slice()
93 assert_eq!(cons1.pop_slice(&mut tmp), 3); in move_slice()
102 assert_eq!(cons1.pop_slice(&mut tmp), 4); in move_slice()
111 let (mut prod1, mut cons1) = buf1.split(); in move_slice_count()
119 assert_eq!(cons1.pop_slice(&mut tmp), 2); in move_slice_count()
124 assert_eq!(cons1.pop_slice(&mut tmp), 1); in move_slice_count()
131 assert_eq!(cons1.pop_slice(&mut tmp), 3); in move_slice_count()
138 assert_eq!(cons1.pop_slice(&mut tmp), 4); in move_slice_count()
|
| /dports/lang/spidermonkey78/firefox-78.9.0/third_party/rust/ringbuf/src/tests/ |
| H A D | read_write.rs | 10 let (mut prod1, mut cons1) = buf1.split(); in from()
27 assert_eq!(cons1.pop_slice(&mut tmp), 3); in from()
36 assert_eq!(cons1.pop_slice(&mut tmp), 2); in from()
43 assert_eq!(cons1.pop_slice(&mut tmp), 1); in from()
58 assert_eq!(cons1.pop_slice(&mut tmp), 4); in from()
67 let (mut prod1, mut cons1) = buf1.split(); in into()
82 assert_eq!(cons1.pop_slice(&mut tmp), 3); in into()
91 assert_eq!(cons1.pop_slice(&mut tmp), 2); in into()
98 assert_eq!(cons1.pop_slice(&mut tmp), 1); in into()
115 assert_eq!(cons1.pop_slice(&mut tmp), 4); in into()
[all …]
|
| H A D | multiple.rs | 77 let (mut prod1, mut cons1) = buf1.split(); in move_slice()
86 assert_eq!(cons1.pop_slice(&mut tmp), 3); in move_slice()
93 assert_eq!(cons1.pop_slice(&mut tmp), 3); in move_slice()
102 assert_eq!(cons1.pop_slice(&mut tmp), 4); in move_slice()
111 let (mut prod1, mut cons1) = buf1.split(); in move_slice_count()
119 assert_eq!(cons1.pop_slice(&mut tmp), 2); in move_slice_count()
124 assert_eq!(cons1.pop_slice(&mut tmp), 1); in move_slice_count()
131 assert_eq!(cons1.pop_slice(&mut tmp), 3); in move_slice_count()
138 assert_eq!(cons1.pop_slice(&mut tmp), 4); in move_slice_count()
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress1/rewriterules/ |
| H A D | datatypes2.smt2 | 12 (declare-fun cons1 (elt list) list)
20 …(! (! (=> true (=> true (= (inj11 (cons1 ?e ?l)) ?e))) :pattern ((cons1 ?e ?l)) ) :rewrite-rule) ))
24 …(! (! (=> true (=> true (= (inj12 (cons1 ?e ?l)) ?l))) :pattern ((cons1 ?e ?l)) ) :rewrite-rule) ))
40 (! (= (proj11 (cons1 ?e ?l)) ?e) :rewrite-rule) ))
44 (! (= (proj12 (cons1 ?e ?l)) ?l) :rewrite-rule) ))
62 …(! (! (=> true (=> true (= (iscons1 (cons1 ?e ?l)) true))) :pattern ((cons1 ?e ?l)) ) :rewrite-rul…
67 …(! (! (=> true (=> (iscons1 ?l) (= ?l (cons1 (proj11 ?l) (proj12 ?l))))) :pattern ((proj11 ?l)) ) …
76 …(! (! (=> true (=> true (= (iscons2 (cons1 ?e ?l)) false))) :pattern ((cons1 ?e ?l)) ) :rewrite-ru…
90 (! (= (isnil1 (cons1 ?e ?l)) false) :rewrite-rule) ))
100 (! (= (isnil2 (cons1 ?e ?l)) false) :rewrite-rule) ))
[all …]
|
| H A D | datatypes3.smt2 | 12 (declare-fun cons1 (elt list) list)
20 …(! (! (=> true (=> true (= (inj11 (cons1 ?e ?l)) ?e))) :pattern ((cons1 ?e ?l)) ) :rewrite-rule) ))
24 …(! (! (=> true (=> true (= (inj12 (cons1 ?e ?l)) ?l))) :pattern ((cons1 ?e ?l)) ) :rewrite-rule) ))
40 (! (= (proj11 (cons1 ?e ?l)) ?e) :rewrite-rule) ))
44 (! (= (proj12 (cons1 ?e ?l)) ?l) :rewrite-rule) ))
69 …(! (! (=> true (=> true (= (iscons1 (cons1 ?e ?l)) true))) :pattern ((cons1 ?e ?l)) ) :rewrite-rul…
72 …(! (! (=> true (=> (iscons1 ?l) (= ?l (cons1 (proj11 ?l) (proj12 ?l))))) :pattern ((proj11 ?l)) ) …
74 …(! (! (=> true (=> (iscons1 ?l) (= ?l (cons1 (proj11 ?l) (proj12 ?l))))) :pattern ((proj12 ?l)) ) …
134 (assert (= (cons1 l1 l2) (cons2 l1 l2)))
|
| /dports/editors/emacs/emacs-27.2/test/lisp/progmodes/ |
| H A D | xref-tests.el | 76 (cons1 (funcall iter :next))
79 (should-not (equal (car cons1) (car cons2)))
80 (should (= 1 (length (cdr cons1))))
86 (cons1 (funcall iter :next))
89 (should (null (marker-position (car (nth 0 (cdr cons1))))))
90 (should (null (marker-position (cdr (nth 0 (cdr cons1))))))
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress1/fmf/ |
| H A D | datatypes-ufinite-nested.smt2 | 11 (declare-datatypes ((ufin1 0) (ufin2 0)) (((cons1 (s11 U) (s13 ufin2))) ((cons2 (s21 V) (s22 U)) (c…
15 (assert (not (P (cons1 a cons3) cons3)))
16 (assert (not (Q (cons1 b cons3) (cons1 a cons3))))
|
| H A D | datatypes-ufinite.smt2 | 11 (declare-datatypes () ((ufin1 (cons1 (s11 U) (s12 U))) (ufin2 (cons2 (s21 V) (s22 U)) (cons3))))
15 (assert (not (P (cons1 a a) cons3)))
16 (assert (not (Q (cons1 a d) (cons1 a b))))
|
| /dports/security/tor-devel/tor-0.4.7.2-alpha/src/feature/dircommon/ |
| H A D | consdiff.h | 15 char *consensus_diff_generate(const char *cons1, size_t cons1len,
39 STATIC smartlist_t *consdiff_gen_diff(const smartlist_t *cons1,
44 STATIC char *consdiff_apply_diff(const smartlist_t *cons1,
63 STATIC smartlist_t *gen_ed_diff(const smartlist_t *cons1,
66 STATIC smartlist_t *apply_ed_diff(const smartlist_t *cons1,
|
| H A D | consdiff.c | 628 smartlist_t *cons1 = smartlist_new(); in gen_ed_diff() local
629 smartlist_add_all(cons1, cons1_orig); in gen_ed_diff()
632 int len1 = smartlist_len(cons1); in gen_ed_diff()
814 smartlist_free(cons1); in gen_ed_diff()
822 smartlist_free(cons1); in gen_ed_diff()
863 int j = smartlist_len(cons1); in apply_ed_diff()
893 end = smartlist_len(cons1); in apply_ed_diff()
1005 cdline_t *cons_line = smartlist_get(cons1, j-1); in apply_ed_diff()
1026 consdiff_gen_diff(const smartlist_t *cons1, in consdiff_gen_diff() argument
1192 consdiff_apply_diff(const smartlist_t *cons1, in consdiff_apply_diff() argument
[all …]
|
| /dports/security/tor/tor-0.4.6.8/src/feature/dircommon/ |
| H A D | consdiff.h | 15 char *consensus_diff_generate(const char *cons1, size_t cons1len,
39 STATIC smartlist_t *consdiff_gen_diff(const smartlist_t *cons1,
44 STATIC char *consdiff_apply_diff(const smartlist_t *cons1,
63 STATIC smartlist_t *gen_ed_diff(const smartlist_t *cons1,
66 STATIC smartlist_t *apply_ed_diff(const smartlist_t *cons1,
|
| H A D | consdiff.c | 628 smartlist_t *cons1 = smartlist_new(); in gen_ed_diff() local
629 smartlist_add_all(cons1, cons1_orig); in gen_ed_diff()
632 int len1 = smartlist_len(cons1); in gen_ed_diff()
814 smartlist_free(cons1); in gen_ed_diff()
822 smartlist_free(cons1); in gen_ed_diff()
863 int j = smartlist_len(cons1); in apply_ed_diff()
893 end = smartlist_len(cons1); in apply_ed_diff()
1005 cdline_t *cons_line = smartlist_get(cons1, j-1); in apply_ed_diff()
1026 consdiff_gen_diff(const smartlist_t *cons1, in consdiff_gen_diff() argument
1192 consdiff_apply_diff(const smartlist_t *cons1, in consdiff_apply_diff() argument
[all …]
|
| /dports/lang/clisp/clisp-df3b9f6fdcff22832898e89a989eb499c0f842ed/src/ |
| H A D | symbol.d | 159 var object cons1 = allocate_cons();
161 Cdr(cons1) = cons2;
166 Cdr(STACK_2) = cons1;
167 Car(cons1) = STACK_0; /* value */
172 Car(cons1) = STACK_1; /* key */
173 VALUES1(cons1);
253 var object cons1 = allocate_cons();
257 Car(cons1) = STACK_1; /* key */
258 Cdr(cons1) = cons2;
259 Symbol_plist(STACK_2) = cons1;
|
| /dports/editors/emacs-devel/emacs-4d1968b/test/lisp/progmodes/ |
| H A D | xref-tests.el | 109 (cons1 (funcall iter :next))
112 (should-not (equal (car cons1) (car cons2)))
113 (should (= 1 (length (cdr cons1))))
119 (cons1 (funcall iter :next))
122 (should (null (marker-position (car (nth 0 (cdr cons1))))))
123 (should (null (marker-position (cdr (nth 0 (cdr cons1))))))
|
| /dports/www/geckodriver/mozilla-central-e9783a644016aa9b317887076618425586730d73/testing/geckodriver/cargo-crates/ringbuf-0.1.4/src/ |
| H A D | tests.rs | 537 let (mut prod1, mut cons1) = buf1.split(); in move_slice()
546 assert_eq!(cons1.pop_slice(&mut tmp), Ok(3)); in move_slice()
554 assert_eq!(cons1.pop_slice(&mut tmp), Ok(3)); in move_slice()
564 assert_eq!(cons1.pop_slice(&mut tmp), Ok(4)); in move_slice()
573 let (mut prod1, mut cons1) = buf1.split(); in move_slice_count()
581 assert_eq!(cons1.pop_slice(&mut tmp), Ok(2)); in move_slice_count()
586 assert_eq!(cons1.pop_slice(&mut tmp), Ok(1)); in move_slice_count()
594 assert_eq!(cons1.pop_slice(&mut tmp), Ok(3)); in move_slice_count()
610 let (mut prod1, mut cons1) = buf1.split(); in read_from()
669 let (mut prod1, mut cons1) = buf1.split(); in write_into()
[all …]
|
| /dports/science/dakota/dakota-6.13.0-release-public.src-UI/packages/external/NOMAD/examples/interfaces/NOMAD2/HS23/ |
| H A D | compile | 1 g++ -o cons1.exe cons1.cpp -O3
|
| /dports/math/py-Pyomo/Pyomo-6.1.2/pyomo/contrib/fme/ |
| H A D | fourier_motzkin_elimination.py | 552 def _add_linear_constraints_error_msg(self, cons1, cons2): argument
559 (cons1['body'].to_expression() >= cons1['lower'],
563 def _add_linear_constraints(self, cons1, cons2): argument
571 cons1_body = cons1['body']
585 cons1['map'].get(var, 0), cons2['map'].get(var, 0),
586 self._add_linear_constraints_error_msg, (cons1, cons2))
601 cons1['lower'], cons2['lower'],
602 self._add_linear_constraints_error_msg, (cons1, cons2))
|
| /dports/lang/abcl/abcl-src-1.8.0/test/lisp/abcl/ |
| H A D | package-local-nicknames-tests.lisp | 57 (cons1 (find-symbol "CONS" :l))
63 (eq 'cons cons1)
112 (cons1 (find-symbol "CONS" :l))
116 (assert (eq cons0 cons1))
|