Hackage :: [Package]

heni-tasty: Attempt-bound Tasty evidence for Heni

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

Optional framework reporter for trustworthy named mutation evidence.

[Skip to Readme]

Modules

[Index] [Quick Jump]

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 base (>=4.21.2 && <4.22), containers (>=0.7 && <0.9), heni (==0.1.0.0), heni-tasty (==0.1.0.0), stm (>=2.5.3.1 && <2.6), tasty (>=1.5.5 && <1.6), tasty-hunit (>=0.10.2 && <0.11), 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:24:31Z
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(adapters/heni-tasty)
Distributions
Executables heni-tasty-fixture
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-tasty-0.1.0.0

[back to package description]

heni-tasty

Replace Tasty.defaultMain with heniMain. Native Tasty selection is intersected with HENI_SELECTOR during an attempt. Outside Heni, normal framework behavior is preserved.

Add heni-tasty ==0.1.0.0 to the test component and select "adapter": "heni-v1" in the Heni case. Complete attempt-bound records prove selected/executed IDs and named failures. Missing, stale or partial evidence cannot count as detection.

See the adapter guide and packaged test fixture for runnable examples.