Size | # | Folders | Files | Lines | Code |
36 |
x 2 |
include/aws/common/privateinclude/aws/common/private |
|
395:437 (6%)589:631 (6%) |
view |
32 |
x 2 |
include/aws/common/privateinclude/aws/common/private |
|
441:479 (5%)635:673 (5%) |
view |
23 |
x 2 |
include/aws/common/privateinclude/aws/common/private |
|
320:367 (4%)513:560 (4%) |
view |
22 |
x 2 |
source/posixsource/windows |
|
63:100 (15%)97:134 (7%) |
view |
21 |
x 2 |
include/aws/testinginclude/aws/testing |
aws_test_harness.haws_test_harness.h |
276:296 (5%)317:337 (5%) |
view |
17 |
x 2 |
verification/cbmc/proofs/aws_array_eqverification/cbmc/proofs/aws_array_eq_ignore_case |
aws_array_eq_harness.caws_array_eq_ignore_case_harness.c |
11:33 (65%)11:33 (70%) |
view |
17 |
x 2 |
verification/cbmc/proofs/aws_byte_buf_eqverification/cbmc/proofs...byte_buf_eq_ignore_case |
aws_byte_buf_eq_harness.caws_byte_buf_eq_ignore_case_harness.c |
11:32 (65%)11:32 (70%) |
view |
17 |
x 2 |
verification/cbmc/proofs/aws_byte_cursor_eqverification/cbmc/proofs...e_cursor_eq_ignore_case |
aws_byte_cursor_eq_harness.caws_byte_cursor_eq_ignore_case_harness.c |
11:32 (60%)11:32 (65%) |
view |
15 |
x 2 |
verification/cbmc/proofs...e_cursor_compare_lookupverification/cbmc/proofs...e_cursor_eq_ignore_case |
aws_byte_cursor_compare_lookup_harness.caws_byte_cursor_eq_ignore_case_harness.c |
20:37 (53%)15:32 (57%) |
view |
15 |
x 2 |
cmakecmake |
AwsTestHarness.cmakeAwsTestHarness.cmake |
53:69 (19%)78:94 (19%) |
view |
15 |
x 2 |
verification/cbmc/proofs...e_cursor_compare_lookupverification/cbmc/proofs/aws_byte_cursor_eq |
aws_byte_cursor_compare_lookup_harness.caws_byte_cursor_eq_harness.c |
20:37 (53%)15:32 (53%) |
view |
14 |
x 2 |
include/aws/common/privateinclude/aws/common/private |
|
214:232 (2%)260:278 (2%) |
view |
14 |
x 2 |
verification/cbmc/proofs...byte_cursor_eq_byte_bufverification/cbmc/proofs...eq_byte_buf_ignore_case |
aws_byte_cursor_eq_byte_buf_harness.caws_byte_cursor_eq_byte_buf_ignore_ca... |
11:28 (58%)11:28 (63%) |
view |
14 |
x 2 |
verification/cbmc/proofs/aws_byte_cursor_advanceverification/cbmc/proofs...e_cursor_advance_nospec |
aws_byte_cursor_advance_harness.caws_byte_cursor_advance_nospec_harness.c |
29:44 (56%)29:44 (56%) |
view |
14 |
x 2 |
include/aws/common/privateinclude/aws/common/private |
|
375:389 (2%)569:583 (2%) |
view |
13 |
x 2 |
source/posixsource/windows |
environment.cenvironment.c |
11:30 (65%)11:40 (61%) |
view |
13 |
x 2 |
source/posixsource/windows |
|
52:66 (6%)23:37 (5%) |
view |
12 |
x 2 |
verification/cbmc/proofs/aws_byte_cursor_eq_c_strverification/cbmc/proofs...or_eq_c_str_ignore_case |
aws_byte_cursor_eq_c_str_harness.caws_byte_cursor_eq_c_str_ignore_case_... |
11:26 (54%)11:26 (60%) |
view |
12 |
x 2 |
verification/cbmc/proofs/aws_ring_buffer_acquireverification/cbmc/proofs...ng_buffer_acquire_up_to |
aws_ring_buffer_acquire_harness.caws_ring_buffer_acquire_up_to_harness.c |
48:60 (30%)38:50 (40%) |
view |
12 |
x 2 |
source/posixsource/windows |
|
78:108 (5%)46:64 (5%) |
view |