Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

ocaml-monolith-20250922-1.fc43 RPM for x86_64

From Fedora 43 testing updates for x86_64 / Packages / o

Name: ocaml-monolith Distribution: Fedora Project
Version: 20250922 Vendor: Fedora Project
Release: 1.fc43 Build date: Thu Oct 2 21:49:11 2025
Group: Unspecified Build host: buildvm-x86-17.rdu3.fedoraproject.org
Size: 762621 Source RPM: ocaml-monolith-20250922-1.fc43.src.rpm
Packager: Fedora Project
Url: https://gitlab.inria.fr/fpottier/monolith
Summary: Framework for strong random testing of OCaml libraries
Monolith offers facilities for testing an OCaml library (for instance, a data
structure implementation) by comparing it against a reference implementation.
It can be used to perform either random testing or fuzz testing.  Fuzz testing
relies on the external tool afl-fuzz.

The user must describe what types and operations the library provides.  Under
the best circumstances, this requires 2-3 lines of code per type or operation.
The user must also provide a reference implementation and a candidate
implementation of the library.

Then, like a monkey typing on a keyboard, Monolith attempts to exercise the
library in every possible way, in the hope of discovering a sequence of
operations that leads to an unexpected behavior (that is, a situation where
the library either raises an unexpected exception or returns an incorrect
result).  If such a scenario is discovered, it is printed in the form of an
OCaml program, so as to help the user reproduce the problem.

Monolith assumes that the candidate implementation behaves in a deterministic
way.  (Without this assumption, one cannot hope to reliably produce a
problematic scenario.)  It does however allow nondeterministic specifications,
that is, situations where the candidate implementation is allowed to behave in
several possible ways.

Provides

Requires

License

LGPL-3.0-or-later

Changelog

* Thu Oct 02 2025 Jerry James <loganjerry@gmail.com> - 20250922-1
  - Initial RPM

Files

/usr/lib/.build-id
/usr/lib/.build-id/3f
/usr/lib/.build-id/3f/30e7824c7e2fb4d315815c28d1f6192c7c65ab
/usr/lib64/ocaml/monolith
/usr/lib64/ocaml/monolith/META
/usr/lib64/ocaml/monolith/Makefile.monolith
/usr/lib64/ocaml/monolith/monolith.cma
/usr/lib64/ocaml/monolith/monolith.cmi
/usr/lib64/ocaml/monolith/monolith.cmxs
/usr/lib64/ocaml/monolith/monolith__.cmi
/usr/lib64/ocaml/monolith/monolith__BuiltinAbstract.cmi
/usr/lib64/ocaml/monolith/monolith__BuiltinArray.cmi
/usr/lib64/ocaml/monolith/monolith__BuiltinArrows.cmi
/usr/lib64/ocaml/monolith/monolith__BuiltinBool.cmi
/usr/lib64/ocaml/monolith/monolith__BuiltinComparison.cmi
/usr/lib64/ocaml/monolith/monolith__BuiltinExn.cmi
/usr/lib64/ocaml/monolith/monolith__BuiltinInt.cmi
/usr/lib64/ocaml/monolith/monolith__BuiltinIteration.cmi
/usr/lib64/ocaml/monolith/monolith__BuiltinRot.cmi
/usr/lib64/ocaml/monolith/monolith__BuiltinSeq.cmi
/usr/lib64/ocaml/monolith/monolith__BuiltinTuple.cmi
/usr/lib64/ocaml/monolith/monolith__Clock.cmi
/usr/lib64/ocaml/monolith/monolith__Code.cmi
/usr/lib64/ocaml/monolith/monolith__Debug.cmi
/usr/lib64/ocaml/monolith/monolith__DelayedOutput.cmi
/usr/lib64/ocaml/monolith/monolith__Engine.cmi
/usr/lib64/ocaml/monolith/monolith__Env.cmi
/usr/lib64/ocaml/monolith/monolith__Eq.cmi
/usr/lib64/ocaml/monolith/monolith__Error.cmi
/usr/lib64/ocaml/monolith/monolith__Gen.cmi
/usr/lib64/ocaml/monolith/monolith__GlobalState.cmi
/usr/lib64/ocaml/monolith/monolith__Misc.cmi
/usr/lib64/ocaml/monolith/monolith__Ops.cmi
/usr/lib64/ocaml/monolith/monolith__Print.cmi
/usr/lib64/ocaml/monolith/monolith__Spec.cmi
/usr/lib64/ocaml/monolith/monolith__Support.cmi
/usr/lib64/ocaml/monolith/monolith__Tag.cmi
/usr/share/doc/ocaml-monolith
/usr/share/doc/ocaml-monolith/AUTHORS.md
/usr/share/doc/ocaml-monolith/CHANGES.md
/usr/share/doc/ocaml-monolith/README.md
/usr/share/licenses/ocaml-monolith
/usr/share/licenses/ocaml-monolith/LICENSE


Generated by rpm2html 1.8.1

Fabrice Bellet, Mon Oct 6 00:04:14 2025