mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Giacomo Vercesi
33 lines
647 B
Bash
Executable File
33 lines
647 B
Bash
Executable File
#!/bin/bash
|
|
#
|
|
# This file is distributed under the MIT License. See LICENSE.md for details.
|
|
#
|
|
|
|
set -euo pipefail
|
|
|
|
PARSE_MODEL_SCRIPT=$(cat << "EOF"
|
|
import sys
|
|
import yaml
|
|
from revng import model
|
|
m = yaml.load(sys.stdin, Loader=model.YamlLoader)
|
|
print(yaml.dump(m, Dumper=model.YamlDumper))
|
|
EOF
|
|
)
|
|
|
|
function parse_revng_model () {
|
|
python3 -c "$PARSE_MODEL_SCRIPT"
|
|
}
|
|
|
|
if [[ "$#" -ne 1 ]]; then
|
|
echo "Usage: $0 <bitcode-or-yaml-model>"
|
|
exit 1
|
|
fi
|
|
|
|
FILE="$1"
|
|
|
|
echo "Testing $FILE"
|
|
if ! revng model opt -Y --verify < "$FILE" | parse_revng_model | revng model opt -Y --verify; then
|
|
echo "Failed deserializing and reserializing $FILE"
|
|
exit 1;
|
|
fi
|