# devel/herdtools7 - The NetBSD Packages Collection

Weak memory model litmus tester

    This is herdtools7, a tool suite to test weak memory models.

    It provides the following tools:

     - herd7: a generic simulator for weak memory models
     - litmus7: run litmus tests (given as assembler programs for
       Power, ARM, AArch64 or X86) to test the memory model of the
       executing machine
     - diy7: produce litmus tests from concise specifications
     - some additional tools
       In particular,
        * mcompare7 to analyse run logs of both herd and litmus.
        * klitmus7, an experimental tool, similar to litmus7 that runs kernel
          memory model tests as kernel modules. The tool klitmus7 is inspired
          from a python script by Andrea Parri,.
          <http://retis.sssup.it/~a.parri/lkmm/run.py>

    herdtools7 is the successor of the diy tool suite.

- Source version: `herdtools7-7.58`
- Maintainer: pkgsrc-users AT NetBSD.org
- Website: https://github.com/herd/herdtools7/
- License: cecill-b-v1
- Package history: cvs, hg, git

## Build dependencies

devel/ocaml-dune devel/ocaml-dune devel/menhir misc/ocaml-opaline pkgtools/mktools pkgtools/cwrappers

## Runtime dependencies

lang/ocaml devel/ocaml-findlib math/ocaml-zarith math/ocaml-zarith lang/ocaml devel/ocaml-findlib math/ocaml-zarith

## Binary packages

OS | Architecture | Version
--- | --- | ---
(none)

Binary packages can be installed with the high-level tool pkgin (which can be installed with pkg_add) or pkg_add(1) (installed by default). The NetBSD packages collection is also designed to permit easy installation from source.

## Available build options

(none)

## Known vulnerabilities

(no vulnerabilities known)

The pkg_admin audit command locates any installed package which has been mentioned in security advisories as having vulnerabilities.

Please note the vulnerabilities database might not be fully accurate, and not every bug is exploitable with every configuration.

Problem reports, updates or suggestions for this package should be reported with send-pr.