phpunit.xml.dist 527 B

1234567891011121314151617181920
  1. <?xml version="1.0" encoding="UTF-8"?>
  2. <phpunit backupGlobals="true"
  3. backupStaticAttributes="false"
  4. colors="false"
  5. convertErrorsToExceptions="true"
  6. convertNoticesToExceptions="true"
  7. convertWarningsToExceptions="true"
  8. processIsolation="false"
  9. stopOnFailure="false"
  10. syntaxCheck="false"
  11. bootstrap="test/bootstrap.php"
  12. >
  13. <testsuites>
  14. <testsuite name="FormalTheory Suite">
  15. <directory>./test</directory>
  16. </testsuite>
  17. </testsuites>
  18. </phpunit>