Annotations/KLEE: Tests for Vec<u8> and strings
Annotations/KLEE: Tests for Vec<u8> and strings

project-oak/rust-verification-tools,project-oak/rust-verification-tools,project-oak/rust-verification-tools,project-oak/rust-verification-tools