# Broken invariants

- Budget filter: **4.00h**
- Events considered: **16 / 16**
- Unique invariants: **6**

## Per-fuzzer totals

| Fuzzer | Invariants |
|---|---:|
| foundry | 2 |
| medusa | 6 |

## High-level overlap

- Shared by all fuzzers: **2**
- Exclusive to `foundry`: **0**
- Exclusive to `medusa`: **4**

## Grouped invariants

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

_None._

</details>

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

- `assert_canary`
- `invariant_BI03`
- `invariant_BI04`
- `invariant_GV01`

</details>

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

- `CANARY`
- `invariant_canary`

</details>
