Sea tracking

[liam-metke]

No description provided.

[codecov]

Codecov Report

Merging #113 (163ebb9) into master (fd0e17e) will decrease coverage by 0.30%.
The diff coverage is n/a.

@@            Coverage Diff             @@
##           master     #113      +/-   ##
==========================================
- Coverage   95.42%   95.12%   -0.31%     
==========================================
  Files         159      159              
  Lines        4919     4919              
==========================================
- Hits         4694     4679      -15     
- Misses        225      240      +15     

Impacted Files	Coverage Δ
...ahorn/jobs/byte_buf_cat/aws_byte_buf_cat_harness.c	88.46% <0.00%> (-11.54%)	⬇️
...iter_begin_done/aws_hash_iter_begin_done_harness.c	91.66% <0.00%> (-8.34%)	⬇️
...cursor_eq_c_str/aws_byte_cursor_eq_c_str_harness.c	94.59% <0.00%> (-5.41%)	⬇️
...n/jobs/array_eq_c_str/aws_array_eq_c_str_harness.c	94.87% <0.00%> (-5.13%)	⬇️

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update fd0e17e...163ebb9. Read the comment docs.

[priyasiddharth]

Looked at array_list only for now

[priyasiddharth]

KLEE is known to fail, hence merging in.