---
title: "tools/hard-cases — Mova code models"
description: "The 10 code-associated groupants of tools/hard-cases in the Mova repository. Each binds a piece of Rust to its models, labels and checks."
url: "https://groupants.elamur.ai/free/en/mova/tools/hard-cases/"
---
Elamur: [Mova](https://md.mova.elamur.ai/free/en/) · [Dictionary](https://md.dictionary.elamur.ai/free/en/) · [Research](https://md.research.elamur.ai/free/en/) · **Groupants**

This page as HTML: <https://groupants.elamur.ai/free/en/mova/tools/hard-cases/>

# tools/hard-cases

The groupants that sit beside the Rust code of tools/hard-cases in the Mova repository.

10 groupants of `tools/hard-cases`, in repository order. Each page shows the node's components with their labels, its obernants and its model text.

| groupant | source or scope | label |
|---|---|---|
| [mova-hard-cases-config](https://md.groupants.elamur.ai/free/en/mova/tools/hard-cases/src/config.rs.groupant/) | `tools/hard-cases/src/config.rs` | partial source bound model |
| [mova-hard-cases-control](https://md.groupants.elamur.ai/free/en/mova/tools/hard-cases/src/control.rs.groupant/) | `tools/hard-cases/src/control.rs` | partial source bound model |
| [mova-hard-cases-eel](https://md.groupants.elamur.ai/free/en/mova/tools/hard-cases/src/eel.rs.groupant/) | `tools/hard-cases/src/eel.rs` | partial source bound model |
| [mova-hard-cases-harvest](https://md.groupants.elamur.ai/free/en/mova/tools/hard-cases/src/harvest.rs.groupant/) | `tools/hard-cases/src/harvest.rs` | partial source bound model |
| [mova-hard-cases-judge](https://md.groupants.elamur.ai/free/en/mova/tools/hard-cases/src/judge.rs.groupant/) | `tools/hard-cases/src/judge.rs` | partial source bound model |
| [mova-hard-cases-lib](https://md.groupants.elamur.ai/free/en/mova/tools/hard-cases/src/lib.rs.groupant/) | `tools/hard-cases/src/lib.rs` | partial source bound model |
| [mova-hard-cases-main](https://md.groupants.elamur.ai/free/en/mova/tools/hard-cases/src/main.rs.groupant/) | `tools/hard-cases/src/main.rs` | partial source bound model |
| [mova-hard-cases-policy](https://md.groupants.elamur.ai/free/en/mova/tools/hard-cases/src/policy.rs.groupant/) | `tools/hard-cases/src/policy.rs` | partial source bound model |
| [mova-hard-cases-wave](https://md.groupants.elamur.ai/free/en/mova/tools/hard-cases/src/wave.rs.groupant/) | `tools/hard-cases/src/wave.rs` | partial source bound model |
| [mova-hard-cases-witness](https://md.groupants.elamur.ai/free/en/mova/tools/hard-cases/src/witness.rs.groupant/) | `tools/hard-cases/src/witness.rs` | partial source bound model |