config.sh

# This file contains the definition of various support variables useful in different scripts
basepath=$(pwd)
binaries_file=$basepath/binaries.txt
matching_script_dir=$basepath/scripting/boundaries-comparison-scripts
workdir=$basepath/workdir/$arch
matching_dir=$workdir/result-matching
revng_json_dir=$workdir/revng-json
ida_json_dir=$workdir/ida-json-normalized