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

Länkar för libdscheck-ocaml-dev

Debianresurser:

Felrapporter

Hämta källkodspaketet :

Hittades ej

Ansvariga:

Externa resurser:

Hemsida [github.com]

Liknande paket:

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.

Andra paket besläktade med libdscheck-ocaml-dev

beror

rekommenderar

föreslår

enhances

dep: libcontainers-ocaml-dev-ui7p8

virtuellt paket som tillhandahålls av libcontainers-ocaml-dev
dep: liboseq-ocaml-dev-oavf0

virtuellt paket som tillhandahålls av liboseq-ocaml-dev
dep: libstdlib-ocaml-dev-bkvu1

virtuellt paket som tillhandahålls av libstdlib-ocaml-dev
dep: ocaml-5.2.0

virtuellt paket som tillhandahålls av ocaml

Hämta libdscheck-ocaml-dev

Hämtningar för alla tillgängliga arkitekturer
Arkitektur	Paketstorlek	Installerad storlek	Filer
sh4 (inofficiell anpassning)	247,6 kbyte	323,0 kbyte	[filförteckning]