# Broken invariants

- Budget filter: **6.00h**
- Events considered: **76 / 76**
- Unique invariants: **17**

## Per-fuzzer totals

| Fuzzer | Invariants |
|---|---:|
| echidna | 9 |
| foundry | 6 |
| medusa | 9 |

## High-level overlap

- Shared by all fuzzers: **1**
- Exclusive to `echidna`: **3**
- Exclusive to `foundry`: **5**
- Exclusive to `medusa`: **3**

## Grouped invariants

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

- `doomsday_fulfillDoesntOverRedeemMultipleActors`
- `doomsday_maxRedeemResetsAfterFullRedemption`
- `doomsday_maxWithdrawResetsAfterFullWithdrawal`

</details>

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

- `invariant_assertion_failure_CANARY`
- `invariant_erc7540_1`
- `invariant_erc7540_2`
- `invariant_erc7540_3`
- `invariant_maxRedeemMaxWithdrawSymmetry`

</details>

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

- `global_comparePreviewMintAndConvertToAssets`
- `global_previewEquivalenceFromAssets`
- `invariant_accumulatorCostBasisIncrease`

</details>

<details>
<summary>Shared by all fuzzers (1)</summary>

- `invariant_canary`

</details>

Top shared subsets (top 1 by size):

<details>
<summary><code>echidna, medusa</code> (5)</summary>

- `assert_canary`
- `doomsday_depositWithdrawSymmetrical`
- `doomsday_mintRedeemSymmetrical`
- `global_previewEquivalenceFromShares`
- `invariant_accumulatorSharesDecreaseOnFulfill_exact`

</details>
