mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Giacomo Vercesi
29 lines
776 B
Bash
Executable File
29 lines
776 B
Bash
Executable File
#!/bin/bash
|
|
#
|
|
# This file is distributed under the MIT License. See LICENSE.md for details.
|
|
#
|
|
|
|
# rcc-ignore: bash-set-flags
|
|
set -u
|
|
|
|
CMAKE_BINARY_DIR="$1"
|
|
EXPECTED_STATUS="$2"
|
|
export REVNG_CRASH_SIGNAL="$3"
|
|
|
|
"${CMAKE_BINARY_DIR}/libexec/revng/revng-pipeline" --load "${CMAKE_BINARY_DIR}/lib/librevngBadBehaviorLibrary.so" 2>&1 \
|
|
| tee -ip /dev/stderr \
|
|
| grep -q 'doCrash()\|WillCrash::WillCrash()\|librevngBadBehaviorLibrary.so'
|
|
STATUS=("${PIPESTATUS[@]}")
|
|
|
|
echo "Status: ${STATUS[*]}"
|
|
|
|
if [[ "${STATUS[0]}" != "${EXPECTED_STATUS}" ]]; then
|
|
echo "revng-pipeline exited with incorrect exit status code ${STATUS[0]} (!= ${EXPECTED_STATUS})"
|
|
exit 1
|
|
elif [[ "${STATUS[2]}" != "0" ]]; then
|
|
echo 'revng-pipeline did not output a stack trace'
|
|
exit 1
|
|
else
|
|
exit 0
|
|
fi
|