These are actually two issues in maude_decom.get_aca_packets:
the blobs argument is ignored
it gives inconsistent results when using blobs or frames. In the case of blobs, the last few packets are missing. This can happen when makes the query without adding some padding at the end, to allow for trailing packets, but I believe I added enough padding for that, so I need to check why this is happening.
These are actually two issues in
maude_decom.get_aca_packets
:blobs
argument is ignoredThe following test fails: