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

The search service can find package by either name (apache), provides(webserver), absolute file names (/usr/bin/apache), binaries (gprof) or shared libraries (libXm.so.2) in standard path. It does not support multiple arguments yet...

The System and Arch are optional added filters, for example System could be "redhat", "redhat-7.2", "mandrake" or "gnome", Arch could be "i386" or "src", etc. depending on your system.

System Arch

RPM resource ocaml-monolith

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.

Found 1 sites for ocaml-monolith

Found 2 RPM for ocaml-monolith

PackageSummaryDistributionDownload
ocaml-monolith-20250922-1.fc44.x86_64.htmlFramework for strong random testing of OCaml librariesFedora Rawhide for x86_64ocaml-monolith-20250922-1.fc44.x86_64.rpm
ocaml-monolith-20250922-1.fc43.x86_64.htmlFramework for strong random testing of OCaml librariesFedora 43 testing updates for x86_64ocaml-monolith-20250922-1.fc43.x86_64.rpm

Generated by rpm2html 1.6

Fabrice Bellet