This PR fixes two issues that were found while reading monitoring data:
maude_decom.get_aca_images crashes if stop is after the last frame available in MAUDE. In this case some maude queries return no data, and the downstream code should not crash.
maude_decom.get_aca_images crashes if there are missing/repeated frames.
A test was added for the case of repeated/missing frames.
Description
This PR fixes two issues that were found while reading monitoring data:
maude_decom.get_aca_images
crashes ifstop
is after the last frame available in MAUDE. In this case some maude queries return no data, and the downstream code should not crash.maude_decom.get_aca_images
crashes if there are missing/repeated frames.A test was added for the case of repeated/missing frames.
Interface impacts
Testing
Unit tests
Independent check of unit tests by Jean
Functional tests
No functional testing.