## Summary Invariant test asserting total contract XLM balance always equals or exceeds sum of unvested stream balances.
Summary
Invariant test asserting total contract XLM balance always equals or exceeds sum of unvested stream balances.