#property-based-testing

Testing a Payment Ledger End to End: Unit, Property, Chaos, and Load

I asked my code to add two numbers and it quietly answered zero. This week I stopped trusting the ledger and started trying to break it, and it broke.