compute-duplication-total.sh

#!/bin/bash

if [ $# -eq 0 ]; then
  echo "No arguments supplied"
  exit 1
fi

arch=$1

# Import the config
. ./config.sh

$computation_script_dir/compute-duplication-total.py $binaries_file $arch $function_idx_dir $revng_metrics_dir