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. Missing values are treated as wildcard ("flexible") entries that count as every symbol. Designed to be easy to embed in other packages: a single C file with a registered .Call entry point and one R wrapper.

Version: 0.1.3
Imports: parallel
Published: 2026-08-23
DOI: 10.32614/CRAN.package.caverify
Author: Christopher Smolen [aut, cre]
Maintainer: Christopher Smolen <chrispbsmolen at gmail.com>
BugReports: https://github.com/chrispbsmolen/ca-tools/issues
License: MIT + file LICENSE
URL: https://github.com/chrispbsmolen/ca-tools
NeedsCompilation: yes
Language: en-US
Materials: NEWS
CRAN checks: caverify results

Documentation:

Reference manual: caverify.html , caverify.pdf

Downloads:

Package source: caverify_0.1.3.tar.gz
Windows binaries: r-devel: not available, r-release: caverify_0.1.2.zip, r-oldrel: caverify_0.1.3.zip
macOS binaries: r-release (arm64): caverify_0.1.3.tgz, r-oldrel (arm64): caverify_0.1.3.tgz, r-release (x86_64): caverify_0.1.3.tgz, r-oldrel (x86_64): caverify_0.1.3.tgz
Old sources: caverify archive

Linking:

Please use the canonical form https://CRAN.R-project.org/package=caverify to link to this page.