Пакет: libdscheck-ocaml-dev (0.5.0-2) [debports]

Връзки за libdscheck-ocaml-dev

Ресурси за Debian:

Доклади за грешки

Изтегляне на пакет-източник .

Няма съвпадения

Отговорници:

Външни препратки:

Начална страница [github.com]

Подобни пакети:

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.

Други пакети, свързани с libdscheck-ocaml-dev

зависимости

препоръчани

предложени

enhances

dep: libcontainers-ocaml-dev-ui7p8

виртуален пакет, предлаган от libcontainers-ocaml-dev
dep: liboseq-ocaml-dev-oavf0

виртуален пакет, предлаган от liboseq-ocaml-dev
dep: libstdlib-ocaml-dev-bkvu1

виртуален пакет, предлаган от libstdlib-ocaml-dev
dep: ocaml-5.2.0

виртуален пакет, предлаган от ocaml

Изтегляне на libdscheck-ocaml-dev

Изтегляне за всички налични архитектури
Архитектура	Големина на пакета	Големина след инсталиране	Файлове
sh4 (неофициална архитектура)	247,6 кБ	323,0 кБ	[списък на файловете]