Пакет: libdscheck-ocaml-dev (0.5.0-2 и други)

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

Управление на кръпките в eLxr

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

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

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

Начална страница [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-7cr37

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

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

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

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

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

Изтегляне за всички налични архитектури
Архитектура	Версия	Големина на пакета	Големина след инсталиране	Файлове
amd64	0.5.0-2+b3	292,7 кБ	637,0 кБ	[списък на файловете]
arm64	0.5.0-2+b3	294,0 кБ	691,0 кБ	[списък на файловете]