# Broken invariants

- Budget filter: **1.00h**
- Events considered: **91 / 91**
- Unique invariants: **13**

> **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 |
|---|---:|
| echidna-ci-0ea96cb95290 | 13 |
| echidna-pr-1617 | 12 |

## High-level overlap

- Shared by all active fuzzers: **12**
- Exclusive to `echidna-ci-0ea96cb95290`: **1**
- Exclusive to `echidna-pr-1617`: **0**

## Grouped invariants

<details>
<summary>Exclusive to <code>echidna-ci-0ea96cb95290</code> (1)</summary>

- `testSetStreamBalanceShouldNotRevert`

</details>

<details>
<summary>Exclusive to <code>echidna-pr-1617</code> (0)</summary>

_None._

</details>

<details>
<summary>Shared by all active fuzzers (12)</summary>

- `AssertionFailed`
- `assert_canary`
- `invariantAccountingVsTokenBalance`
- `invariantWithdrawAllTokensShouldNotRevert`
- `invariant_canary`
- `testReceiveStreamsShouldNotRevert`
- `testSetStreamBalanceWithdrawAllShouldNotRevert`
- `testSqueezableAmountCantBeUndone`
- `testSqueezableAmountCantBeWithdrawn`
- `testSqueezableVsReceived`
- `testSqueezeWithDefaultHistoryShouldNotRevert`
- `testSqueezeWithFuzzedHistoryShouldNotRevert`

</details>