|
|
|
|
|
|
Directory  |
Line Coverage  |
Functions |
| seahorn/jobs/hash_c_string |
|
0.0 % |
0 / 10 |
0.0 % |
0 / 1 |
| seahorn/jobs/string_destroy_secure |
|
0.0 % |
0 / 14 |
0.0 % |
0 / 1 |
| aws-c-common/include/aws/common/posix |
|
0.0 % |
0 / 18 |
0.0 % |
0 / 1 |
| aws-c-common/source/posix |
|
0.0 % |
0 / 774 |
0.0 % |
0 / 47 |
| aws-c-common/include/aws/common/private |
|
12.7 % |
60 / 472 |
20.0 % |
1 / 5 |
| aws-c-common/source |
|
28.2 % |
1481 / 5255 |
35.8 % |
110 / 307 |
| aws-c-common/include/aws/common |
|
52.7 % |
664 / 1260 |
1.9 % |
271 / 14286 |
| seahorn/lib |
|
72.6 % |
722 / 994 |
67.6 % |
73 / 108 |
| seahorn/jobs/hash_table_foreach |
|
77.3 % |
17 / 22 |
50.0 % |
1 / 2 |
| seahorn/jobs/hash_table_put |
|
80.6 % |
25 / 31 |
100.0 % |
1 / 1 |
| seahorn/jobs/hash_table_remove |
|
83.8 % |
31 / 37 |
100.0 % |
1 / 1 |
| seahorn/jobs/hash_table_create |
|
83.8 % |
31 / 37 |
100.0 % |
1 / 1 |
| seahorn/jobs/hash_iter_begin_done |
|
91.7 % |
22 / 24 |
100.0 % |
1 / 1 |
| seahorn/jobs/hash_callback_c_str_eq |
|
92.1 % |
35 / 38 |
66.7 % |
2 / 3 |
| seahorn/jobs/byte_cursor_eq_c_str |
|
94.6 % |
35 / 37 |
100.0 % |
1 / 1 |
| seahorn/jobs/hash_table_find |
|
96.4 % |
27 / 28 |
100.0 % |
1 / 1 |
| /home/x245zhou/seahorn/build/run/include/seahorn |
|
100.0 % |
2 / 2 |
- |
0 / 0 |
| seahorn/include |
|
100.0 % |
4 / 4 |
- |
0 / 0 |
| seahorn/jobs/string_destroy |
|
100.0 % |
7 / 7 |
100.0 % |
1 / 1 |
| seahorn/jobs/hash_ptr |
|
100.0 % |
8 / 8 |
100.0 % |
1 / 1 |
| seahorn/jobs/hash_string |
|
100.0 % |
8 / 8 |
100.0 % |
1 / 1 |
| seahorn/jobs/string_bytes |
|
100.0 % |
8 / 8 |
100.0 % |
1 / 1 |
| seahorn/jobs/hash_callback_string_destroy |
|
100.0 % |
9 / 9 |
100.0 % |
1 / 1 |
| seahorn/jobs/byte_cursor_from_string |
|
100.0 % |
11 / 11 |
100.0 % |
1 / 1 |
| seahorn/jobs/linked_list_node_reset |
|
100.0 % |
13 / 13 |
100.0 % |
1 / 1 |
| seahorn/jobs/hash_byte_cursor_ptr |
|
100.0 % |
13 / 13 |
100.0 % |
1 / 1 |
| seahorn/jobs/array_list_comparator_string |
|
100.0 % |
14 / 14 |
100.0 % |
1 / 1 |
| seahorn/jobs/byte_buf_secure_zero |
|
100.0 % |
14 / 14 |
100.0 % |
1 / 1 |
| seahorn/jobs/string_eq |
|
100.0 % |
14 / 14 |
100.0 % |
1 / 1 |
| seahorn/jobs/byte_buf_clean_up |
|
100.0 % |
14 / 14 |
100.0 % |
1 / 1 |
| seahorn/jobs/string_eq_ignore_case |
|
100.0 % |
15 / 15 |
100.0 % |
1 / 1 |
| seahorn/jobs/linked_list_init |
|
100.0 % |
15 / 15 |
100.0 % |
1 / 1 |
| seahorn/jobs/array_list_clean_up |
|
100.0 % |
16 / 16 |
100.0 % |
1 / 1 |
| seahorn/jobs/byte_buf_from_empty_array |
|
100.0 % |
16 / 16 |
100.0 % |
1 / 1 |
| seahorn/jobs/string_eq_c_str |
|
100.0 % |
16 / 16 |
100.0 % |
1 / 1 |
| seahorn/jobs/linked_list_end |
|
100.0 % |
16 / 16 |
100.0 % |
1 / 1 |
| seahorn/jobs/string_eq_c_str_ignore_case |
|
100.0 % |
17 / 17 |
100.0 % |
1 / 1 |
| seahorn/jobs/hash_callback_string_eq |
|
100.0 % |
17 / 17 |
100.0 % |
1 / 1 |
| seahorn/jobs/linked_list_rend |
|
100.0 % |
17 / 17 |
100.0 % |
1 / 1 |
| seahorn/jobs/hash_byte_cursor_ptr_ignore_case |
|
100.0 % |
17 / 17 |
100.0 % |
1 / 1 |
| seahorn/jobs/hash_table_clear |
|
100.0 % |
17 / 17 |
100.0 % |
1 / 1 |
| seahorn/jobs/ring_buffer_init |
|
100.0 % |
17 / 17 |
100.0 % |
1 / 1 |
| seahorn/jobs/nospec_mask |
|
100.0 % |
17 / 17 |
100.0 % |
1 / 1 |
| seahorn/jobs/hash_iter_begin |
|
100.0 % |
18 / 18 |
100.0 % |
1 / 1 |
| seahorn/jobs/byte_cursor_from_array |
|
100.0 % |
18 / 18 |
100.0 % |
1 / 1 |
| seahorn/jobs/linked_list_begin |
|
100.0 % |
19 / 19 |
100.0 % |
1 / 1 |
| seahorn/jobs/string_eq_byte_buf |
|
100.0 % |
19 / 19 |
100.0 % |
1 / 1 |
| seahorn/jobs/linked_list_prev |
|
100.0 % |
19 / 19 |
100.0 % |
1 / 1 |
| seahorn/jobs/linked_list_next |
|
100.0 % |
19 / 19 |
100.0 % |
1 / 1 |
| seahorn/jobs/hash_table_get_entry_count |
|
100.0 % |
19 / 19 |
100.0 % |
1 / 1 |
| seahorn/jobs/linked_list_back |
|
100.0 % |
19 / 19 |
100.0 % |
1 / 1 |
| seahorn/jobs/byte_cursor_from_c_str |
|
100.0 % |
19 / 19 |
100.0 % |
1 / 1 |
| seahorn/jobs/byte_buf_reserve_relative |
|
100.0 % |
19 / 19 |
100.0 % |
1 / 1 |
| seahorn/jobs/byte_buf_reset |
|
100.0 % |
19 / 19 |
100.0 % |
1 / 1 |
| seahorn/jobs/byte_buf_clean_up_secure |
|
100.0 % |
19 / 19 |
100.0 % |
1 / 1 |
| seahorn/jobs/byte_buf_from_array |
|
100.0 % |
20 / 20 |
100.0 % |
1 / 1 |
| seahorn/jobs/hash_table_move |
|
100.0 % |
20 / 20 |
100.0 % |
1 / 1 |
| seahorn/jobs/string_eq_byte_cursor_ignore_case |
|
100.0 % |
20 / 20 |
100.0 % |
1 / 1 |
| seahorn/jobs/ring_buffer_clean_up |
|
100.0 % |
20 / 20 |
100.0 % |
1 / 1 |
| seahorn/jobs/priority_queue_clean_up |
|
100.0 % |
20 / 20 |
100.0 % |
1 / 1 |
| seahorn/jobs/byte_buf_init |
|
100.0 % |
20 / 20 |
100.0 % |
1 / 1 |
| seahorn/jobs/linked_list_rbegin |
|
100.0 % |
20 / 20 |
100.0 % |
1 / 1 |
| seahorn/jobs/string_new_from_c_str |
|
100.0 % |
21 / 21 |
100.0 % |
1 / 1 |
| seahorn/jobs/string_new_from_string |
|
100.0 % |
21 / 21 |
100.0 % |
1 / 1 |
| seahorn/jobs/string_eq_byte_buf_ignore_case |
|
100.0 % |
21 / 21 |
100.0 % |
1 / 1 |
| seahorn/jobs/string_compare |
|
100.0 % |
22 / 22 |
100.0 % |
1 / 1 |
| seahorn/jobs/add_size_saturating |
|
100.0 % |
22 / 22 |
100.0 % |
1 / 1 |
| seahorn/jobs/array_list_length |
|
100.0 % |
22 / 22 |
100.0 % |
1 / 1 |
| seahorn/jobs/hash_table_eq |
|
100.0 % |
23 / 23 |
100.0 % |
1 / 1 |
| seahorn/jobs/string_eq_byte_cursor |
|
100.0 % |
23 / 23 |
100.0 % |
1 / 1 |
| seahorn/jobs/hash_iter_done |
|
100.0 % |
23 / 23 |
100.0 % |
1 / 1 |
| seahorn/jobs/hash_iter_delete |
|
100.0 % |
23 / 23 |
100.0 % |
1 / 1 |
| seahorn/jobs/add_size_checked |
|
100.0 % |
23 / 23 |
100.0 % |
1 / 1 |
| seahorn/jobs/hash_iter_next |
|
100.0 % |
24 / 24 |
100.0 % |
1 / 1 |
| seahorn/jobs/string_new_from_array |
|
100.0 % |
24 / 24 |
100.0 % |
1 / 1 |
| seahorn/jobs/array_list_capacity |
|
100.0 % |
24 / 24 |
100.0 % |
1 / 1 |
| seahorn/jobs/byte_buf_from_c_str |
|
100.0 % |
25 / 25 |
100.0 % |
1 / 1 |
| seahorn/jobs/linked_list_push_front |
|
100.0 % |
25 / 25 |
100.0 % |
1 / 1 |
| seahorn/jobs/linked_list_front |
|
100.0 % |
25 / 25 |
100.0 % |
1 / 1 |
| seahorn/jobs/linked_list_push_back |
|
100.0 % |
25 / 25 |
100.0 % |
1 / 1 |
| seahorn/jobs/array_list_clear |
|
100.0 % |
25 / 25 |
100.0 % |
1 / 1 |
| seahorn/jobs/byte_cursor_satisfies_pred |
|
100.0 % |
26 / 26 |
100.0 % |
2 / 2 |
| seahorn/jobs/byte_buf_write_u8 |
|
100.0 % |
26 / 26 |
100.0 % |
1 / 1 |
| seahorn/jobs/byte_buf_reserve |
|
100.0 % |
26 / 26 |
100.0 % |
1 / 1 |
| seahorn/jobs/byte_cursor_right_trim_pred |
|
100.0 % |
27 / 27 |
100.0 % |
2 / 2 |
| seahorn/jobs/byte_buf_write_be16 |
|
100.0 % |
27 / 27 |
100.0 % |
1 / 1 |
| seahorn/jobs/byte_buf_init_copy_from_cursor |
|
100.0 % |
27 / 27 |
100.0 % |
1 / 1 |
| seahorn/jobs/hash_table_swap |
|
100.0 % |
27 / 27 |
100.0 % |
1 / 1 |
| seahorn/jobs/byte_cursor_from_buf |
|
100.0 % |
27 / 27 |
100.0 % |
1 / 1 |
| seahorn/jobs/hash_table_clean_up |
|
100.0 % |
27 / 27 |
100.0 % |
1 / 1 |
| seahorn/jobs/byte_buf_write_be64 |
|
100.0 % |
27 / 27 |
100.0 % |
1 / 1 |
| seahorn/jobs/byte_buf_write_be32 |
|
100.0 % |
27 / 27 |
100.0 % |
1 / 1 |
| seahorn/jobs/byte_cursor_trim_pred |
|
100.0 % |
27 / 27 |
100.0 % |
2 / 2 |
| seahorn/jobs/byte_cursor_left_trim_pred |
|
100.0 % |
27 / 27 |
100.0 % |
2 / 2 |
| seahorn/jobs/linked_list_pop_front |
|
100.0 % |
28 / 28 |
100.0 % |
1 / 1 |
| seahorn/jobs/hash_table_init_bounded |
|
100.0 % |
28 / 28 |
100.0 % |
1 / 1 |
| seahorn/jobs/array_list_erase |
|
100.0 % |
28 / 28 |
100.0 % |
1 / 1 |
| seahorn/jobs/array_list_pop_back |
|
100.0 % |
28 / 28 |
100.0 % |
1 / 1 |
| seahorn/jobs/array_list_pop_front |
|
100.0 % |
28 / 28 |
100.0 % |
1 / 1 |
| seahorn/jobs/array_list_sort |
|
100.0 % |
28 / 28 |
100.0 % |
2 / 2 |
| seahorn/jobs/priority_queue_size |
|
100.0 % |
28 / 28 |
100.0 % |
1 / 1 |
| seahorn/jobs/linked_list_pop_back |
|
100.0 % |
29 / 29 |
100.0 % |
1 / 1 |
| seahorn/jobs/array_list_ensure_capacity |
|
100.0 % |
30 / 30 |
100.0 % |
1 / 1 |
| seahorn/jobs/array_list_shrink_to_fit |
|
100.0 % |
30 / 30 |
100.0 % |
1 / 1 |
| seahorn/jobs/array_list_pop_front_n |
|
100.0 % |
30 / 30 |
100.0 % |
1 / 1 |
| seahorn/jobs/array_list_init_dynamic |
|
100.0 % |
31 / 31 |
100.0 % |
1 / 1 |
| seahorn/jobs/array_list_push_back |
|
100.0 % |
31 / 31 |
100.0 % |
1 / 1 |
| seahorn/jobs/byte_buf_append_dynamic |
|
100.0 % |
31 / 31 |
100.0 % |
1 / 1 |
| seahorn/jobs/array_list_copy |
|
100.0 % |
32 / 32 |
100.0 % |
1 / 1 |
| seahorn/jobs/byte_buf_eq_c_str_ignore_case |
|
100.0 % |
32 / 32 |
100.0 % |
1 / 1 |
| seahorn/jobs/mul_size_saturating |
|
100.0 % |
32 / 32 |
100.0 % |
1 / 1 |
| seahorn/jobs/byte_buf_append |
|
100.0 % |
32 / 32 |
100.0 % |
1 / 1 |
| seahorn/jobs/array_list_front |
|
100.0 % |
32 / 32 |
100.0 % |
1 / 1 |
| seahorn/jobs/priority_queue_init_static |
|
100.0 % |
33 / 33 |
100.0 % |
1 / 1 |
| seahorn/jobs/linked_list_insert_after |
|
100.0 % |
33 / 33 |
100.0 % |
1 / 1 |
| seahorn/jobs/linked_list_insert_before |
|
100.0 % |
33 / 33 |
100.0 % |
1 / 1 |
| seahorn/jobs/byte_cursor_eq_byte_buf_ignore_case |
|
100.0 % |
33 / 33 |
100.0 % |
1 / 1 |
| seahorn/jobs/byte_buf_init_copy |
|
100.0 % |
33 / 33 |
100.0 % |
1 / 1 |
| seahorn/jobs/byte_cursor_eq_c_str_ignore_case |
|
100.0 % |
34 / 34 |
100.0 % |
1 / 1 |
| seahorn/jobs/array_list_get_at |
|
100.0 % |
34 / 34 |
100.0 % |
1 / 1 |
| seahorn/jobs/array_list_set_at |
|
100.0 % |
34 / 34 |
100.0 % |
1 / 1 |
| seahorn/jobs/array_list_get_at_ptr |
|
100.0 % |
34 / 34 |
100.0 % |
1 / 1 |
| seahorn/jobs/mul_size_checked |
|
100.0 % |
34 / 34 |
100.0 % |
1 / 1 |
| seahorn/jobs/array_list_back |
|
100.0 % |
34 / 34 |
100.0 % |
1 / 1 |
| seahorn/jobs/linked_list_swap_contents |
|
100.0 % |
34 / 34 |
100.0 % |
1 / 1 |
| seahorn/jobs/priority_queue_top |
|
100.0 % |
34 / 34 |
100.0 % |
1 / 1 |
| seahorn/jobs/priority_queue_capacity |
|
100.0 % |
35 / 35 |
100.0 % |
1 / 1 |
| seahorn/jobs/byte_buf_eq_c_str |
|
100.0 % |
35 / 35 |
100.0 % |
1 / 1 |
| seahorn/jobs/byte_cursor_advance |
|
100.0 % |
36 / 36 |
100.0 % |
1 / 1 |
| seahorn/jobs/byte_buf_write_from_whole_cursor |
|
100.0 % |
36 / 36 |
100.0 % |
1 / 1 |
| seahorn/jobs/byte_cursor_advance_nospec |
|
100.0 % |
36 / 36 |
100.0 % |
1 / 1 |
| seahorn/jobs/byte_buf_eq_ignore_case |
|
100.0 % |
36 / 36 |
100.0 % |
1 / 1 |
| seahorn/jobs/byte_cursor_read_u8 |
|
100.0 % |
36 / 36 |
100.0 % |
1 / 1 |
| seahorn/jobs/byte_cursor_eq_byte_buf |
|
100.0 % |
36 / 36 |
100.0 % |
1 / 1 |
| seahorn/jobs/byte_cursor_read_be32 |
|
100.0 % |
37 / 37 |
100.0 % |
1 / 1 |
| seahorn/jobs/linked_list_remove |
|
100.0 % |
37 / 37 |
100.0 % |
1 / 1 |
| seahorn/jobs/byte_cursor_read_be64 |
|
100.0 % |
37 / 37 |
100.0 % |
1 / 1 |
| seahorn/jobs/byte_cursor_read_be16 |
|
100.0 % |
37 / 37 |
100.0 % |
1 / 1 |
| seahorn/jobs/array_list_swap_contents |
|
100.0 % |
38 / 38 |
100.0 % |
1 / 1 |
| seahorn/jobs/byte_buf_write_from_whole_string |
|
100.0 % |
38 / 38 |
100.0 % |
1 / 1 |
| seahorn/jobs/byte_cursor_read |
|
100.0 % |
39 / 39 |
100.0 % |
1 / 1 |
| seahorn/jobs/array_eq_c_str |
|
100.0 % |
39 / 39 |
100.0 % |
1 / 1 |
| seahorn/jobs/priority_queue_init_dynamic |
|
100.0 % |
39 / 39 |
100.0 % |
1 / 1 |
| seahorn/jobs/byte_buf_eq |
|
100.0 % |
39 / 39 |
100.0 % |
1 / 1 |
| seahorn/jobs/array_list_init_static |
|
100.0 % |
40 / 40 |
100.0 % |
1 / 1 |
| seahorn/jobs/byte_cursor_eq_ignore_case |
|
100.0 % |
40 / 40 |
100.0 % |
1 / 1 |
| seahorn/jobs/byte_buf_write_from_whole_buffer |
|
100.0 % |
41 / 41 |
100.0 % |
1 / 1 |
| seahorn/jobs/byte_buf_append_with_lookup |
|
100.0 % |
42 / 42 |
100.0 % |
1 / 1 |
| seahorn/jobs/byte_cursor_read_and_fill_buffer |
|
100.0 % |
42 / 42 |
100.0 % |
1 / 1 |
| seahorn/jobs/array_list_swap |
|
100.0 % |
43 / 43 |
100.0 % |
1 / 1 |
| seahorn/jobs/byte_cursor_eq |
|
100.0 % |
43 / 43 |
100.0 % |
1 / 1 |
| seahorn/jobs/byte_buf_advance |
|
100.0 % |
44 / 44 |
100.0 % |
1 / 1 |
| seahorn/jobs/byte_cursor_compare_lookup |
|
100.0 % |
48 / 48 |
100.0 % |
1 / 1 |
| seahorn/jobs/byte_cursor_compare_lexical |
|
100.0 % |
48 / 48 |
100.0 % |
1 / 1 |
| seahorn/jobs/byte_buf_cat |
|
100.0 % |
78 / 78 |
100.0 % |
2 / 2 |
