2023-05-01 16:07:03 +00:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
################################################################################
|
|
|
|
# Set exit code depending on tool reports #
|
|
|
|
################################################################################
|
|
|
|
|
|
|
|
DEFINITELY_LOST=$(cat *test-results/*summary.json | jq .num_definite_bytes_lost)
|
|
|
|
|
|
|
|
cat *test-results/*summary.json
|
|
|
|
|
|
|
|
echo -e "\nBytes of memory definitely lost: $DEFINITELY_LOST"
|
|
|
|
|
|
|
|
if [[ "$DEFINITELY_LOST" -gt 0 ]]; then
|
|
|
|
exit 1
|
|
|
|
fi
|
2023-07-18 18:10:31 +00:00
|
|
|
|
|
|
|
EXIT_TEST_FAILED=$(cat *test-results/*summary.json | jq .exit_test_failed)
|
|
|
|
|
|
|
|
if [[ "$EXIT_TEST_FAILED" -gt 0 ]]; then
|
|
|
|
exit 1
|
|
|
|
fi
|