Peter

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

4:43pmWeb
Show threadPeter12h ago

Coincidentally I also started working on a php client implantation for hegel.dev last weekend which is coming along nicely. This will be a good exercise to test that on a real production use case.

#hegeldev #pbt