# Docs

> How to use mozz_mlake, a magmalake tin.

[magmalake](https://magmalake.dev/) [mozz\_mlake](https://magmalake.dev/s/mozz%5Fmlake)

## What it is

mozz\_mlake is a packaged build of [mozz](https://github.com/ehsanmok/mozz) by Ehsan M. Kermani: pure-Mojo fuzzing and property-based testing, with a mutation engine, an `Arbitrary` trait, shrinking and corpus handling. magmalake republishes it only because mozz isn’t on a conda channel pixi can resolve, which blocked [flare\_mlake](https://magmalake.dev/s/flare%5Fmlake)’s fuzz environment and fuzzing in magmalake’s own repositories. The code is upstream’s, and the module is still imported as `mozz`. Star it and file issues upstream.

## Install

mojoshelf:

```bash
pixi shelf add mozz_mlake      # no other tins
```

`pixi shelf` comes with mojoshelf: [install it first](https://mojoshelf.org/getting-started).

plain pixi:

```bash
pixi init app -c https://conda.modular.com/max -c conda-forge && cd app
sed -i.bak 's/^\[workspace\]/[workspace]\npreview = ["pixi-build"]/' pixi.toml
pixi add "mojo-compiler==1.2.0"
# Without mojoshelf: the tin as a git dependency at its published commit.
# Transitive dependencies may be wrong: pixi takes the tin's own git deps as
# pinned in its pixi.toml, which may not match what other tins pin, and then
# fails with "duplicate records". mojoshelf picks revisions that agree.
pixi add mozz_mlake --git https://github.com/magmalake/mozz_mlake --rev bd84a1f1e376912414a3ddcf0f4151ed65435a44
```

No mojoshelf needed. If pixi reports duplicate records, the mojoshelf tab picks revisions that agree.

Then `from mozz import ...` as upstream documents.

## What magmalake changed

No source changes, only packaging:

- **The build backend pin.** Upstream pins `pixi-build-rattler-build ==0.3.13`, which speaks a `pixi-build-api-version` no current pixi provides, so upstream holds its CI at pixi 0.70.2\. This build takes the backend as a lower bound, `>=0.3.13`, and lets pixi pick a matching one.
- **The package is named `mozz_mlake`**; the module stays `mozz`, so you change no source, and switching to an official package later is a one-line dependency change.

CI builds the package and consumes it from a clean project on Linux and macOS. The repository is archived the day mozz is on a channel pixi can resolve.

## Upstream

- Project, issues and pull requests: [github.com/ehsanmok/mozz](https://github.com/ehsanmok/mozz)
- Documentation: [ehsanmok.github.io/mozz](https://ehsanmok.github.io/mozz/)
- Upstream’s README, verbatim: [README.upstream.md](https://github.com/magmalake/mozz%5Fmlake/blob/main/README.upstream.md)

The full reference is [the README on GitHub](https://github.com/magmalake/mozz%5Fmlake#readme).

[A magmalake project](https://magmalake.dev/)

MIT, as upstream