# Broken invariants

- Budget filter: **1.00h**
- Events considered: **140 / 140**
- 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 |
|---|---:|
| echidna-ci-0ea96cb95290 | 14 |
| echidna-pr-1617 | 15 |
| echidna-release-2-3-3 | 12 |

## High-level overlap

- Shared by all active fuzzers: **12**
- Exclusive to `echidna-ci-0ea96cb95290`: **0**
- Exclusive to `echidna-pr-1617`: **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-1617</code> (1)</summary>

- `testSetStreamBalanceShouldNotRevert`

</details>

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

_None._

</details>

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

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

</details>

Top shared subsets (top 1 by size):

<details>
<summary><code>echidna-ci-0ea96cb95290, echidna-pr-1617</code> (2)</summary>

- `testSetStreamsShouldNotRevert`
- `testSqueezeWithFuzzedHistoryShouldNotRevert`

</details>