Package: caverify 0.2.0
Christopher Smolen
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:
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.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://cran.r-universe.dev', 'https://cloud.r-project.org')) |
Bug tracker:https://github.com/chrispbsmolen/ca-tools/issues
Last updated from:8a57f09555. Checks:10 OK. Indexed: no.
| Target | Result | Time | Files | Syslog |
|---|---|---|---|---|
| linux-devel-arm64 | OK | 110 | ||
| linux-devel-x86_64 | OK | 78 | ||
| source / vignettes | OK | 209 | ||
| linux-release-arm64 | OK | 107 | ||
| linux-release-x86_64 | OK | 88 | ||
| windows-devel-arm64 | OK | 186 | ||
| windows-devel-x86_64 | OK | 94 | ||
| windows-release-arm64 | OK | 155 | ||
| windows-release-x86_64 | OK | 67 | ||
| wasm-release | OK | 73 |
Exports:ca_verify
Dependencies:
Readme and manuals
Help Manual
| Help page | Topics |
|---|---|
| Verify strength-t coverage of a covering array | ca_verify print.ca_verify |