# Broken invariants

- Budget filter: **0.25h**
- Events considered: **14 / 14**
- Unique invariants: **14**

> **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 | 14 |

## High-level overlap

- Shared by all active fuzzers: **14**
- Exclusive to `echidna`: **14**

## Grouped invariants

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

- `AssertionFailed`
- `assert_canary`
- `invariant_canary`
- `testBurnBalance`
- `testChangeSupply`
- `testMintBalanceRounding`
- `testOptInBalance`
- `testOptInBalanceRounding`
- `testRebasingCreditsPerTokenNotIncreased`
- `testTotalSupplyLessThanTotalBalance`
- `testTransferBalanceReceivedLessRounding`
- `testTransferBalanceReceivedMore`
- `testTransferBalanceSentLess`
- `testTransferSelf`

</details>