#!/bin/bash script_dir="$( cd "$( dirname "${BASH_SOURCE[0]}" )" &> /dev/null && pwd )" benchmark_name=$(echo $script_dir | rev | cut -d "/" -f 3 | rev) project_name=$(echo $script_dir | rev | cut -d "/" -f 2 | rev) bug_id=$(echo $script_dir | rev | cut -d "/" -f 1 | rev) dir_name=/experiment/$benchmark_name/$project_name/$bug_id mkdir -p $dir_name cd $dir_name PROJECT=$1 ID=$2 /bugsinpy/framework/bin/bugsinpy-checkout -p $PROJECT -i $ID -v 0 -w $PWD rm -rf src mv $PROJECT src