# Broken invariants

- Budget filter: **1.00h**
- Events considered: **99 / 99**
- 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-cff8760d4b7c | 14 |
| echidna-pr-1614 | 15 |

## High-level overlap

- Shared by all active fuzzers: **13**
- Exclusive to `echidna-ci-cff8760d4b7c`: **1**
- Exclusive to `echidna-pr-1614`: **2**

## Grouped invariants

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

- `testBalanceAtInFuture`

</details>

<details>
<summary>Exclusive to <code>echidna-pr-1614</code> (2)</summary>

- `testSetStreamBalanceShouldNotRevert`
- `testSetStreamsShouldNotRevert`

</details>

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

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

</details>