Closed mnemonikr closed 8 months ago
This also replaced a conversion from a Vec<u8>
into an iterator of LittleEndian<u8>
. This is a new type introduced to ensure that the caller using concrete bytes knows the data must be in little-endian format. This is to prevent mistakes like 300u16.to_be_bytes().into_iter().collect::<SymbolicBitVec>()
Several collection conversions expected the
SymbolicByte
to be held in aVec
, but there was no real reason for this expectation. This changes the conversions fromFrom<Vec<...>>
toFromIterator<...>
. The calling code that current holds aVec
then calls withinto_iter().collect()
instead of.into()
.This opens up the code to being able to use different collections instead of being beholden to
Vec
due to the convenient conversion routines.