Searched refs:num_cas (Results 1 – 6 of 6) sorted by relevance
| /dports/math/z3/z3-z3-4.8.13/src/ast/ |
| H A D | decl_collector.cpp | 33 unsigned num_cas = cnstr_acc.size(); in visit_sort() local
34 for (unsigned j = 0; j < num_cas; j++) { in visit_sort()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/ |
| H A D | decl_collector.cpp | 33 unsigned num_cas = cnstr_acc.size(); in visit_sort() local
34 for (unsigned j = 0; j < num_cas; j++) { in visit_sort()
|
| /dports/www/litmus/litmus-0.13/lib/neon/ |
| H A D | ne_gnutls.c | 699 unsigned int num_cas, in find_issuer() argument
704 for (n = 0; n < num_cas; n++) { in find_issuer()
757 unsigned int num_cas; in make_peers_chain() local
759 gnutls_certificate_get_x509_cas(crd, &ca_list, &num_cas); in make_peers_chain()
763 issuer = find_issuer(ca_list, num_cas, current->subject); in make_peers_chain()
|
| /dports/www/davix/davix-0.7.6/deps/libneon/src/ |
| H A D | ne_gnutls.c | 719 unsigned int num_cas, in find_issuer() argument
724 for (n = 0; n < num_cas; n++) { in find_issuer()
777 unsigned int num_cas; in make_peers_chain() local
779 gnutls_certificate_get_x509_cas(crd, &ca_list, &num_cas); in make_peers_chain()
783 issuer = find_issuer(ca_list, num_cas, current->chain[0]); in make_peers_chain()
|
| /dports/www/neon/neon-0.32.1/src/ |
| H A D | ne_gnutls.c | 768 unsigned int num_cas, in find_issuer() argument
773 for (n = 0; n < num_cas; n++) { in find_issuer()
828 unsigned int num_cas; in make_peers_chain() local
830 gnutls_certificate_get_x509_cas(crd, &ca_list, &num_cas); in make_peers_chain()
836 issuer = find_issuer(ca_list, num_cas, current->subject); in make_peers_chain()
|
| /dports/cad/gplcver/gplcver-2.12a.src/src/ |
| H A D | v_fx2.c | 6960 int32 lhs_gd, dnum, sav_ecnt, cwid, num_gd1bca, cai, num_cas; in chk_contas() local
6969 num_cas = 0; in chk_contas()
6975 num_cas++; in chk_contas()
7054 num_cas -= num_gd1bca; in chk_contas()
7061 __inst_mod->mcanum = num_cas; in chk_contas()
|