Lack tests of XDR encoding/decoding of negative values
pchapin opened this issue · comments
The XDR encoding of negative values needs to be tested.
cubesatlab / cubedos
A flight software framework in SPARK/Ada
A flight software framework in SPARK/Ada
pchapin opened this issue · comments
The XDR encoding of negative values needs to be tested.