# Broken invariants

- Budget filter: **4.00h**
- Events considered: **55 / 55**
- Unique invariants: **19**

> **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 | 3 |
| foundry | 4 |
| medusa | 12 |
| recon-fuzzer | 16 |

## High-level overlap

- Shared by all active fuzzers: **2**
- Exclusive to `echidna`: **0**
- Exclusive to `foundry`: **0**
- Exclusive to `medusa`: **2**
- Exclusive to `recon-fuzzer`: **7**

## Grouped invariants

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

_None._

</details>

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

_None._

</details>

<details>
<summary>Exclusive to <code>medusa</code> (2)</summary>

- `invariant_accumulatorCostBasisIncrease`
- `invariant_fulfillOnlyBurnsRequestedAmount`

</details>

<details>
<summary>Exclusive to <code>recon-fuzzer</code> (7)</summary>

- `doomsday_fulfillDoesntOverRedeemMultipleActors`
- `doomsday_maxWithdrawResetsAfterFullWithdrawal`
- `global_erc7540_4_redeem`
- `global_erc7540_7_redeem`
- `global_erc7540_7_withdraw`
- `invariant_sumOfClaimable`
- `superVaultStrategy_fulfillRedeemRequests_clamped`

</details>

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

- `assert_canary`
- `invariant_canary`

</details>

Top shared subsets (top 4 by size):

<details>
<summary><code>medusa, recon-fuzzer</code> (5)</summary>

- `doomsday_depositWithdrawSymmetrical`
- `doomsday_maxRedeemResetsAfterFullRedemption`
- `global_comparePreviewMintAndConvertToAssets`
- `global_previewEquivalenceFromAssets`
- `invariant_accumulatorSharesDecreaseOnFulfill_exact`

</details>

<details>
<summary><code>echidna, medusa, recon-fuzzer</code> (1)</summary>

- `global_previewEquivalenceFromShares`

</details>

<details>
<summary><code>foundry, medusa</code> (1)</summary>

- `invariant_maxRedeemMaxWithdrawSymmetry`

</details>

<details>
<summary><code>foundry, medusa, recon-fuzzer</code> (1)</summary>

- `doomsday_mintRedeemSymmetrical`

</details>