# Broken invariants

- Budget filter: **1.00h**
- Events considered: **143 / 143**
- Unique invariants: **16**

> **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 | 15 |
| echidna-pr-1615 | 16 |
| echidna-release-2-3-3 | 14 |

## High-level overlap

- Shared by all active fuzzers: **14**
- Exclusive to `echidna-ci-0ea96cb95290`: **0**
- Exclusive to `echidna-pr-1615`: **1**
- Exclusive to `echidna-release-2-3-3`: **0**

## Grouped invariants

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

_None._

</details>

<details>
<summary>Exclusive to <code>echidna-pr-1615</code> (1)</summary>

- `testBalanceAtInFuture`

</details>

<details>
<summary>Exclusive to <code>echidna-release-2-3-3</code> (0)</summary>

_None._

</details>

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

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

</details>

Top shared subsets (top 1 by size):

<details>
<summary><code>echidna-ci-0ea96cb95290, echidna-pr-1615</code> (1)</summary>

- `testAddStreamShouldNotRevert`

</details>