Package: caverify 0.2.0

caverify: Fast Strength-t Coverage Verification for Covering Arrays

Verifies that an array covers every t-way interaction, the certificate check for covering arrays, using compiled C code with optional 'OpenMP' threading. Supports uniform and mixed-level (per-column symbol counts) arrays. Missing values mark flexible ("don't care") entries, which contribute nothing to coverage, so a verified array remains covering however they are filled. Designed to be easy to embed in other packages: a single C file with a registered .Call entry point and one R wrapper.

Authors:Christopher Smolen [aut, cre]

caverify_0.2.0.tar.gz
caverify_0.2.0.zip(r-4.7-x86_64)caverify_0.2.0.zip(r-4.7-arm64)caverify_0.2.0.zip(r-4.6-x86_64)caverify_0.2.0.zip(r-4.6-arm64)caverify_0.2.0.zip(r-4.5-x86_64)
caverify_0.2.0.tgz(r-4.6-x86_64)caverify_0.2.0.tgz(r-4.6-arm64)caverify_0.2.0.tgz(r-4.5-x86_64)caverify_0.2.0.tgz(r-4.5-arm64)
caverify_0.2.0.tar.gz(r-4.7-arm64)caverify_0.2.0.tar.gz(r-4.7-x86_64)caverify_0.2.0.tar.gz(r-4.6-arm64)caverify_0.2.0.tar.gz(r-4.6-x86_64)
caverify_0.2.0.tgz(r-4.6-emscripten)
manual.pdf |manual.html✨
DESCRIPTION |NEWS
card.svg |card.png
caverify/json (API)

# Install 'caverify' in R:
install.packages('caverify', repos = c('https://chrispbsmolen.r-universe.dev', 'https://cloud.r-project.org'))

Bug tracker:https://github.com/chrispbsmolen/ca-tools/issues

Uses libs:
  • openmp– GCC OpenMP (GOMP) support library

On CRAN:

Conda:

openmp

1.30 score 280 downloads 1 exports 0 dependencies

Last updated from:8a57f09555. Checks:15 OK. Indexed: yes.

TargetResultTimeFilesSyslog
linux-devel-arm64OK104
linux-devel-x86_64OK105
source / vignettesOK151
linux-release-arm64OK98
linux-release-x86_64OK103
macos-release-arm64OK119
macos-release-x86_64OK196
macos-oldrel-arm64OK187
macos-oldrel-x86_64OK189
windows-devel-arm64OK309
windows-devel-x86_64OK114
windows-release-arm64OK310
windows-release-x86_64OK65
windows-oldrel-x86_64OK59
wasm-releaseOK100

Exports:ca_verify

Dependencies: