Module sym_bytes 

Structs

SymBytes

An array of symbolic bytes, backed by an SMT array. In some cases, crux-mir can analyze tests using SymBytes more efficiently than tests that use Vec<u8>. Otherwise, SymBytes and Vec<u8> are mostly equivalent.