Paketti: libdscheck-ocaml-dev (0.5.0-2 ja muut)

Links for libdscheck-ocaml-dev

eLxr Patch Tracker

Imuroi lähdekoodipaketti ocaml-dscheck:

Ylläpitäjät:

External Resources:

Kotisivu [github.com]

Samankaltaisia paketteja:

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.

Muut pakettiin libdscheck-ocaml-dev liittyvät paketit

depends

recommends

suggests

enhances

dep: libcontainers-ocaml-dev-7cr37

näennäispaketti, jonka toteuttaa libcontainers-ocaml-dev
dep: liboseq-ocaml-dev-hylk4

näennäispaketti, jonka toteuttaa liboseq-ocaml-dev
dep: libstdlib-ocaml-dev-m4xw9

näennäispaketti, jonka toteuttaa libstdlib-ocaml-dev
dep: ocaml-5.3.0

näennäispaketti, jonka toteuttaa ocaml

Imuroi libdscheck-ocaml-dev

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri	Versio	Paketin koko	Koko asennettuna	Tiedostot
arm64	0.5.0-2+b3	294.0 kt	691.0 kt	[tiedostoluettelo]