History tests/run-pt_gnu_prop-tests.sh