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
computation_script_dir=$basepath/scripting/computation
workdir=$basepath/workdir/$arch
matching_dir=$workdir/result-matching
function_idx_dir=$workdir/deduplicated-functions-idx-no-goto
revng_json_dir=$workdir/revng-json
ida_json_dir=$workdir/ida-json-normalized
revng_metrics_dir=$workdir/revng-metrics