heni-cli: Command line interface to trustworthy deliberate mutation testing

[ bsd3, program, testing ] [ Propose Tags ] [ Report a vulnerability ]

Validate manifests, run checked mutations, and render portable Heni evidence through the shared library runner.


[Skip to Readme]

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.1.0.0
Change log CHANGELOG.md
Dependencies aeson (>=2.3.2 && <2.4), base (>=4.21.2 && <4.22), bytestring (>=0.12.2 && <0.13), containers (>=0.7 && <0.9), directory (>=1.3.10.1 && <1.4), filepath (>=1.5.5 && <1.6), heni (==0.1.0.0), text (>=2.1.4 && <2.2) [details]
Tested with ghc ==9.12.4
License BSD-3-Clause
Copyright 2026 Nadeem Bitar
Author Nadeem Bitar
Maintainer nadeem@gmail.com
Uploaded by shinzui at 2026-10-24T23:20:25Z
Category Testing
Home page https://github.com/shinzui/heni
Bug tracker https://github.com/shinzui/heni/issues
Source repo head: git clone https://github.com/shinzui/heni.git(heni-cli)
Distributions
Executables heni
Downloads 3 total (3 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]

Readme for heni-cli-0.1.0.0

[back to package description]

heni-cli

The heni executable validates manifests, lists cases, runs mutation campaigns and renders stored reports through the matching Heni library. Version 0.1.0.0 is unreleased. Use heni --help and the CLI reference.

run exits 0 for a met trustworthy contract, 1 for a failed contract, 2 for configuration/infrastructure failure, and 130 after SIGINT finalization. Generic commands need exact diagnostic/exit evidence; optional reporters provide named assertion evidence. Use fresh output directories; report artifacts move together.