# Broken invariants

- Budget filter: **4.00h**
- Events considered: **29 / 29**
- Unique invariants: **15**

> **Warning — trial run.** This benchmark was executed with fewer than 10 instances per fuzzer and/or a time budget shorter than 24h. Results from trial runs are meant for debugging purposes and are not valid for extracting conclusions across different fuzzers.

## Per-fuzzer totals

| Fuzzer | Invariants |
|---|---:|
| foundry | 15 |

## High-level overlap

- Shared by all active fuzzers: **15**
- Exclusive to `foundry`: **15**

## Grouped invariants

<details>
<summary>Exclusive to <code>foundry</code> (15)</summary>

- `assert_canary`
- `invariantAccountingVsTokenBalance`
- `invariantWithdrawAllTokensShouldNotRevert`
- `invariant_canary`
- `testAddStreamShouldNotRevert`
- `testBalanceAtInFuture`
- `testReceiveStreamsShouldNotRevert`
- `testSetStreamBalanceShouldNotRevert`
- `testSetStreamBalanceWithdrawAllShouldNotRevert`
- `testSetStreamsShouldNotRevert`
- `testSqueezableAmountCantBeUndone`
- `testSqueezableAmountCantBeWithdrawn`
- `testSqueezableVsReceived`
- `testSqueezeWithDefaultHistoryShouldNotRevert`
- `testSqueezeWithFuzzedHistoryShouldNotRevert`

</details>