#!/bin/bash
set -e  # abort on error

# Modify the following line if necessary:
export wkspc=~/workspaces/didfail

# Note: if git gives an error about uncommitted changes, then try:
# git reset --hard HEAD

cd $wkspc/heros/
git checkout 5b8180ebf9ba0eb869579425a7adb3d967da8c61

cd $wkspc/jasmin/
git checkout 79c79f314297e28037cfa91fa9316325e3a515bb

cd $wkspc/soot/
git checkout b4e51615db0effbb2ddc847035664b45756f4f82