diff --git a/tests/e2e/PestTestFramework/run_tests.bash b/tests/e2e/PestTestFramework/run_tests.bash new file mode 100644 index 0000000000..949873a44c --- /dev/null +++ b/tests/e2e/PestTestFramework/run_tests.bash @@ -0,0 +1,14 @@ +#!/usr/bin/env bash + +readonly INFECTION="../../../bin/infection --test-framework=pest" + +set -e pipefail + +if [ "$DRIVER" = "phpdbg" ] +then + phpdbg -qrr $INFECTION +else + php $INFECTION +fi + +diff -w expected-output.txt infection.log