[ trixie ] [ sid ]

[ Source: ]

Package: libdscheck-ocaml-dev (0.5.0-2) [debports]

Links for libdscheck-ocaml-dev

Debian Resources:

Bug Reports

Download Source Package :

Not found

Maintainers:

External Resources:

Homepage [github.com]

Similar packages:

model checker for testing concurrent programs

Experimental model checker for testing concurrent programs. DSCheck exploers interleavings of a user-provided program and helps ensure that its invariants are maintained regardless of scheduling decisions.

Other Packages Related to libdscheck-ocaml-dev

depends

recommends

suggests

enhances

dep: libcontainers-ocaml-dev-ui7p8

virtual package provided by libcontainers-ocaml-dev
dep: liboseq-ocaml-dev-oavf0

virtual package provided by liboseq-ocaml-dev
dep: libstdlib-ocaml-dev-bkvu1

virtual package provided by libstdlib-ocaml-dev
dep: ocaml-5.2.0

virtual package provided by ocaml

Download libdscheck-ocaml-dev

Download for all available architectures
Architecture	Package Size	Installed Size	Files
sh4 (unofficial port)	247.6 kB	323.0 kB	[list of files]