Docs
What it is
mozz_mlake is a packaged build of 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’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:
pixi shelf add mozz_mlake # no other tinspixi shelf comes with mojoshelf: install it first.
plain pixi:
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 bd84a1f1e376912414a3ddcf0f4151ed65435a44No 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 apixi-build-api-versionno 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 staysmozz, 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
- Documentation: ehsanmok.github.io/mozz
- Upstream’s README, verbatim: README.upstream.md
The full reference is the README on GitHub.