diff options
| author | Bruce Wells <brucekwells@gmail.com> | 2019-08-16 21:01:53 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-08-16 21:01:53 +0300 |
| commit | a4849cbcc5402f3dd00965abe44df3239341bae8 (patch) | |
| tree | c8ea5a493e4fb91ee01b8e4221f2782e8027a88f /phpunit.xml.dist | |
| parent | e1b770d6c884d79b8c3c6226d2e6cc8cc5a633ca (diff) | |
Subtraction fix (#46) (#7)
* Updated unit tests
* Fixed docs
* Better unary minus support
Diffstat (limited to 'phpunit.xml.dist')
| -rw-r--r-- | phpunit.xml.dist | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/phpunit.xml.dist b/phpunit.xml.dist index bfe1846..d515f51 100644 --- a/phpunit.xml.dist +++ b/phpunit.xml.dist @@ -8,7 +8,6 @@ convertWarningsToExceptions="true" processIsolation="false" stopOnFailure="false" - syntaxCheck="false" bootstrap="./tests/bootstrap.php" > |