RFC: Property-inspired test case
AndrewDryga opened this issue · comments
We can write helpers that simplify building a test case that would take a sage and test possible failures in each it's stage, to make sure operations and compensations are all working properly.
This is not needed, Sage implementation is tested and it should be enough for an application developer to test transaction and compensation functions independently.