#!/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 4b76e92ffa80da8710b133715e8cb2ef957b579d
#Date:   Fri Jan 17 18:02:36 2014 +0100

cd $wkspc/jasmin/
git checkout ca7bd855ac3cb666fa738516e14a2a486b65d04e
#Date:   Fri Oct 25 11:27:26 2013 +0200

cd $wkspc/soot/
git checkout 8e1c50a49f04fde19eda319e057e2680bc57c1bc
#Date:   Mon Feb 3 09:27:17 2014 -0800