# Broken invariants

- Budget filter: **4.00h**
- Events considered: **34 / 34**
- Unique invariants: **11**

> **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 | 11 |
| medusa | 9 |

## High-level overlap

- Shared by all fuzzers: **9**
- Exclusive to `echidna`: **2**
- Exclusive to `medusa`: **0**

## Grouped invariants

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

- `iSpoke_liquidationCall`
- `invariant_supplySharePriceAndDrawnIndexMonotonic`

</details>

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

_None._

</details>

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

- `assert_canary`
- `iHub_mintFeeShares`
- `iSpoke_repay`
- `iSpoke_withdraw`
- `invariant_canary`
- `invariant_shouldNotBecomeLiquidatable`
- `invariant_totalBorrowedLessThanSupplied_v0`
- `invariant_totalBorrowedLessThanSupplied_v1`
- `invariant_totalBorrowedLessThanSupplied_v2`

</details>