mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Giacomo Vercesi
993f66d59c
Drop using the `revng-` prefix from all executables under `libexec/revng/`. Now any executable found under there that is executable and without extension will be considered a `revng` subcommand, following the usual command-line rules.
46 lines
1.1 KiB
Bash
Executable File
46 lines
1.1 KiB
Bash
Executable File
#!/bin/bash
|
|
#
|
|
# This file is distributed under the MIT License. See LICENSE.md for details.
|
|
#
|
|
|
|
set -euo pipefail
|
|
set -x
|
|
|
|
SCRIPT_DIR=$( cd -- "$( dirname -- "${BASH_SOURCE[0]}" )" &> /dev/null && pwd )
|
|
|
|
OUTPUT="$PWD/MultiStepPipelineOut.txt"
|
|
WORKING_DIRECTORY="$PWD/MultiStepPipelineTestDir/"
|
|
REFERENCE_OUTPUT="$SCRIPT_DIR/MultiStepPipelineOutput.txt"
|
|
|
|
function run() {
|
|
"$PWD/libexec/revng/pipeline" \
|
|
-P="$SCRIPT_DIR/MultiStepPipeline.yml" \
|
|
--produce=second-step/strings-3/root:string-kind\
|
|
-i "$SCRIPT_DIR/MultiStepPipelineInput.txt:begin/strings-1" \
|
|
-o "$OUTPUT:second-step/strings-3" \
|
|
--resume "$WORKING_DIRECTORY" \
|
|
"$@"
|
|
}
|
|
|
|
# Cleanup
|
|
rm -rf "$WORKING_DIRECTORY"
|
|
mkdir -p "$WORKING_DIRECTORY"
|
|
|
|
# Produce $OUTPUT
|
|
run "$@"
|
|
diff "$OUTPUT" "$REFERENCE_OUTPUT"
|
|
|
|
# Produce $OUTPUT again and make sure it has not changed
|
|
run "$@"
|
|
diff "$OUTPUT" "$REFERENCE_OUTPUT"
|
|
|
|
# Drop an intermediate results and recompute
|
|
rm "$WORKING_DIRECTORY/second-step/strings-1"
|
|
run "$@"
|
|
diff "$OUTPUT" "$REFERENCE_OUTPUT"
|
|
|
|
# Recreate the output again
|
|
rm "$OUTPUT"
|
|
run "$@"
|
|
diff "$OUTPUT" "$REFERENCE_OUTPUT"
|