Mastodawn

Spent a couple hours today working with a colleague on a property test using #eris. We found one bug in the implementation of our oracle, which proved that our production code was actually doing the right thing, though it's unclear if that was deliberate or accidental. After that we increased the number of samples to 1000 which actually seems to have uncovered another bug.

Really cool to finally have a good use case for property based testing.

#php #propertybasedtesting #pbt #phpunit

PHPUnit 1d ago

#PHPUnit 13.1.3 has been released: https://github.com/sebastianbergmann/phpunit/releases/tag/13.1.3

Release PHPUnit 13.1.3 · sebastianbergmann/phpunit

Fixed Regression in XML configuration migration introduced in PHPUnit 12.5.8 Learn how to install or update PHPUnit 13.1 in the documentation. Keep up to date with PHPUnit: You can follow @phpu...

GitHub

PHPUnit 1d ago

#PHPUnit 12.5.19 has been released: https://github.com/sebastianbergmann/phpunit/releases/tag/12.5.19

Release PHPUnit 12.5.19 · sebastianbergmann/phpunit

Fixed Regression in XML configuration migration introduced in PHPUnit 12.5.8 Learn how to install or update PHPUnit 12.5 in the documentation. Keep up to date with PHPUnit: You can follow @phpu...

GitHub

PHPUnit 1d ago

#PHPUnit 13.1.2 has been released: https://github.com/sebastianbergmann/phpunit/releases/tag/13.1.2

Release PHPUnit 13.1.2 · sebastianbergmann/phpunit

Fixed #4571: No warning when --random-order-seed is used when test execution order is not random #4975: --filter does not work when filter string starts with # #5354: JUnit XML logger does not han...

GitHub

PHPUnit 1d ago

#PHPUnit 12.5.18 has been released: https://github.com/sebastianbergmann/phpunit/releases/tag/12.5.18

Release PHPUnit 12.5.18 · sebastianbergmann/phpunit

Fixed #4571: No warning when --random-order-seed is used when test execution order is not random #4975: --filter does not work when filter string starts with # #5354: JUnit XML logger does not han...

GitHub

Cees-Jan Kiewiet

2d ago

About to run InfectionPHP on this PHPUnit testsuite... 😱

#InfectionPHP #PHP #PHPUnit

Sebastian Bergmann

5d ago

Sei live dabei, wenn ich heute um 14:00 Uhr Roland Golla im Livestream erzähle, was sich bei #PHPUnit gerade so alles tut:

https://www.youtube.com/watch?v=ClBCr4o8CHg&list=PL-Xl37-rETi4ITtOXFM22pEg9SPb-FiU4

PHPUnit Version 13.1 Live mit Sebastian Bergmann

YouTube

PHPUnit Apr 8

#PHPUnit 13.1.1 has been released: https://github.com/sebastianbergmann/phpunit/releases/tag/13.1.1

Release PHPUnit 13.1.1 · sebastianbergmann/phpunit

Changed #3676: Include class/interface name in mock object expectation failure messages #4793: Exit with non-zero exit code when exit was called from some test Fixed #5881: colors="true" in XML ...

GitHub

PHPUnit Apr 8

#PHPUnit 12.5.17 has been released: https://github.com/sebastianbergmann/phpunit/releases/tag/12.5.17

Release PHPUnit 12.5.17 · sebastianbergmann/phpunit

Changed #4793: Exit with non-zero exit code when exit was called from some test Fixed #5881: colors="true" in XML configuration file does not unconditionally enable colored output #6019: --migra...

GitHub