mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Giacomo Vercesi
3fe3a8524a
Add the `revng mass-testing` commands and auxiliary executables which simplify running revng on a huge quantity of input executables.
34 lines
1.2 KiB
Bash
Executable File
34 lines
1.2 KiB
Bash
Executable File
#!/bin/bash
|
|
|
|
#
|
|
# This file is distributed under the MIT License. See LICENSE.md for details.
|
|
#
|
|
|
|
set -euo pipefail
|
|
|
|
# This is a revng-specific script that simplifies using the `revng` together
|
|
# with test-harness. In particular it does the following:
|
|
# * Saves `sections.json` and adds `text_size` to meta.yml
|
|
# * Saves the trace output as `trace.json.gz`
|
|
# * Suppresses output from the `revng` command
|
|
# * Detects if it's being used as a wrapper for `revng` and calls the real one
|
|
# properly
|
|
# The last characteristic is needed as this script can be symlinked to be
|
|
# `revng` to allow the command to be 1:1 with the reproducer command.
|
|
|
|
SECTIONS_JSON="$TEST_OUTPUT_DIR/sections.json"
|
|
|
|
dump-sections "$TEST_INPUT" > "$SECTIONS_JSON"
|
|
echo "text_size: $(dump-sections --text-size "$TEST_INPUT")" >> "$TEST_OUTPUT_DIR/meta.yml"
|
|
|
|
# Check if we're being used as `revng`, if so, find the next revng executable
|
|
# to avoid an infinite loop.
|
|
if [ "${BASH_SOURCE[0]}" = "$(command -v "revng")" ]; then
|
|
readarray -t REVNG_PATHS < <(which -a revng)
|
|
REVNG_PATH="${REVNG_PATHS[1]}"
|
|
else
|
|
REVNG_PATH=revng
|
|
fi
|
|
|
|
exec "$REVNG_PATH" "$@" -o /dev/null --trace >(exec gzip -7 -c > "$TEST_OUTPUT_DIR/trace.json.gz")
|