jit_bugs/bugs/5_psalm.sh

#!/bin/bash -e

standalone=$PWD/bugs/wrap.php

cd /tmp

rm -rf psalm_5

git clone https://github.com/vimeo/psalm psalm_5
cd psalm_5
git checkout 7428e49b115a2a837aa29cf0fafd0ca902fe2457

git branch -D master || true
git branch master
git checkout master

cp $standalone .

export PSALM_ALLOW_XDEBUG=1

composer i --ignore-platform-reqs

echo "About to run phpunit"

docker run -v $PWD:/app --rm --privileged -it asan_tests /usr/bin/php /app/wrap.php /app/vendor/bin/phpunit --debug

echo "About to run composer"

rm -rf vendor

docker run -v $PWD:/app --rm --privileged -it asan_tests /usr/bin/php --repeat 2 -f /app/wrap.php /usr/bin/composer update

echo "OK, no bugs!"