ivory hx stream: fix test (previously all tests were totally invalid)
ivory hx stream: fix test (previously all tests were totally invalid)

GaloisInc/ivory-tower-stm32,GaloisInc/ivory-tower-stm32,GaloisInc/ivory-tower-stm32