Searched refs:counts (Results 1 - 3 of 3) sorted by relevance
/seL4-camkes-master/projects/camkes-tool/cdl-refine-tests/ |
H A D | run_tests | 276 def incr_opt_counts(counts, app_name, build_opts): 277 counts[('app', app_name)] += 1 279 counts[(k, v)] += 1 280 def num_counts(counts): 281 return sum(count for (opt_name, opt_val), count in counts.items() 380 info('%s counts:' % desc) 381 counts = [] 386 counts.append((float(failed) / tests, 391 for frac_failed, failed, tests, k, v in sorted(counts, key=most_failures):
|
/seL4-camkes-master/projects/musllibc/src/regex/ |
H A D | regcomp.c | 2458 int *counts, int *offs) 2597 counts[p1->position]++; 2611 int *counts, int *offs) 2625 errcode = tre_ast_to_tnfa(uni->left, transitions, counts, offs); 2628 errcode = tre_ast_to_tnfa(uni->right, transitions, counts, offs); 2636 transitions, counts, offs); 2639 errcode = tre_ast_to_tnfa(cat->left, transitions, counts, offs); 2642 errcode = tre_ast_to_tnfa(cat->right, transitions, counts, offs); 2655 transitions, counts, offs); 2659 errcode = tre_ast_to_tnfa(iter->arg, transitions, counts, off 2456 tre_make_trans(tre_pos_and_tags_t *p1, tre_pos_and_tags_t *p2, tre_tnfa_transition_t *transitions, int *counts, int *offs) argument 2610 tre_ast_to_tnfa(tre_ast_node_t *node, tre_tnfa_transition_t *transitions, int *counts, int *offs) argument 2682 int *counts = NULL, *offs = NULL; local [all...] |
/seL4-camkes-master/kernel/manual/parts/ |
H A D | cspace.tex | 373 \item second level CNodes with different guards and slot counts;
|
Completed in 41 milliseconds