# Broken invariants

- Budget filter: **0.50h**
- Events considered: **8 / 8**
- Unique invariants: **8**

> **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 |
|---|---:|
| recon-fuzzer | 8 |

## High-level overlap

- Shared by all active fuzzers: **8**
- Exclusive to `recon-fuzzer`: **8**

## Grouped invariants

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

- `assert_canary`
- `doomsday_depositWithdrawSymmetrical`
- `doomsday_mintRedeemSymmetrical`
- `global_comparePreviewMintAndConvertToAssets`
- `global_previewEquivalenceFromAssets`
- `global_previewEquivalenceFromShares`
- `invariant_accumulatorSharesDecreaseOnFulfill_exact`
- `invariant_canary`

</details>