套件：libdscheck-ocaml-dev（0.5.0-2 以及其他的）

[ 原始碼： ocaml-dscheck  ]

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 有關的套件

• dep: libcontainers-ocaml-dev-07tu9 [armhf, i386]

  本虛擬套件由這些套件填實： libcontainers-ocaml-dev

• dep: libcontainers-ocaml-dev-79cq3 [除 armhf, i386, s390x]

  本虛擬套件由這些套件填實： libcontainers-ocaml-dev

• dep: libcontainers-ocaml-dev-kir31 [s390x]

  本虛擬套件由這些套件填實： libcontainers-ocaml-dev

• dep: liboseq-ocaml-dev-1b323 [s390x]

  本虛擬套件由這些套件填實： liboseq-ocaml-dev

• dep: liboseq-ocaml-dev-apxo5 [armhf, i386]

  本虛擬套件由這些套件填實： liboseq-ocaml-dev

• dep: liboseq-ocaml-dev-hylk4 [除 armhf, i386, s390x]

  本虛擬套件由這些套件填實： liboseq-ocaml-dev

• dep: libstdlib-ocaml-dev-2d5j3 [s390x]

  本虛擬套件由這些套件填實： libstdlib-ocaml-dev

• dep: libstdlib-ocaml-dev-m4xw9 [除 armhf, i386, s390x]

  本虛擬套件由這些套件填實： libstdlib-ocaml-dev

• dep: libstdlib-ocaml-dev-ye7o9 [armhf, i386]

  本虛擬套件由這些套件填實： libstdlib-ocaml-dev

• dep: ocaml-5.3.0

  本虛擬套件由這些套件填實： ocaml

下載 libdscheck-ocaml-dev

下載可用於所有硬體架構的

硬體架構	版本	套件大小	安裝後大小	檔案
amd64	0.5.0-2+b5	292。6 kB	637。0 kB	[檔案列表]
arm64	0.5.0-2+b5	294。0 kB	691。0 kB	[檔案列表]
armhf	0.5.0-2+b1	246。5 kB	323。0 kB	[檔案列表]
i386	0.5.0-2+b1	246。4 kB	323。0 kB	[檔案列表]
ppc64el	0.5.0-2+b5	295。6 kB	718。0 kB	[檔案列表]
riscv64	0.5.0-2+b5	309。7 kB	896。0 kB	[檔案列表]
s390x	0.5.0-2+b6	290。5 kB	638。0 kB	[檔案列表]