#!/bin/bash

dir=`dirname $0`
(
  cd $dir/..
  vendor/bin/tester tests/ -c tests/coveragePhp.ini --coverage-src src/ --coverage coverage.html
)
