/rapidcheck-feedstock

A conda-smithy repository for rapidcheck.

Primary LanguageBatchfileBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause

About rapidcheck-feedstock

Feedstock license: BSD-3-Clause

Home: https://github.com/emil-e/rapidcheck

Package license: BSD-3-Clause

Summary: RapidCheck is a C++ framework for property based testing inspired by QuickCheck and other similar frameworks.

Development: https://github.com/emil-e/rapidcheck

Documentation: https://github.com/emil-e/rapidcheck/blob/master/doc/user_guide.md

RapidCheck is a C++ framework for property based testing inspired by QuickCheck and other similar frameworks. In property based testing, you state facts about your code that given certain precondition should always be true. RapidCheck then generates random test data to try and find a case for which the property doesn't hold. If such a case is found, RapidCheck tries to find the smallest case (for some definition of smallest) for which the property is still false and then displays this as a counterexample. For example, if the input is an integer, RapidCheck tries to find the smallest integer for which the property is false.

Current build status

Azure
VariantStatus
linux_64 variant
osx_64 variant
osx_arm64 variant
win_64 variant

Current release info

Name Downloads Version Platforms
Conda Recipe Conda Downloads Conda Version Conda Platforms

Installing rapidcheck

Installing rapidcheck from the conda-forge channel can be achieved by adding conda-forge to your channels with:

conda config --add channels conda-forge
conda config --set channel_priority strict

Once the conda-forge channel has been enabled, rapidcheck can be installed with conda:

conda install rapidcheck

or with mamba:

mamba install rapidcheck

It is possible to list all of the versions of rapidcheck available on your platform with conda:

conda search rapidcheck --channel conda-forge

or with mamba:

mamba search rapidcheck --channel conda-forge

Alternatively, mamba repoquery may provide more information:

# Search all versions available on your platform:
mamba repoquery search rapidcheck --channel conda-forge

# List packages depending on `rapidcheck`:
mamba repoquery whoneeds rapidcheck --channel conda-forge

# List dependencies of `rapidcheck`:
mamba repoquery depends rapidcheck --channel conda-forge

About conda-forge

Powered by NumFOCUS

conda-forge is a community-led conda channel of installable packages. In order to provide high-quality builds, the process has been automated into the conda-forge GitHub organization. The conda-forge organization contains one repository for each of the installable packages. Such a repository is known as a feedstock.

A feedstock is made up of a conda recipe (the instructions on what and how to build the package) and the necessary configurations for automatic building using freely available continuous integration services. Thanks to the awesome service provided by Azure, GitHub, CircleCI, AppVeyor, Drone, and TravisCI it is possible to build and upload installable packages to the conda-forge Anaconda-Cloud channel for Linux, Windows and OSX respectively.

To manage the continuous integration and simplify feedstock maintenance conda-smithy has been developed. Using the conda-forge.yml within this repository, it is possible to re-render all of this feedstock's supporting files (e.g. the CI configuration files) with conda smithy rerender.

For more information please check the conda-forge documentation.

Terminology

feedstock - the conda recipe (raw material), supporting scripts and CI configuration.

conda-smithy - the tool which helps orchestrate the feedstock. Its primary use is in the construction of the CI .yml files and simplify the management of many feedstocks.

conda-forge - the place where the feedstock and smithy live and work to produce the finished article (built conda distributions)

Updating rapidcheck-feedstock

If you would like to improve the rapidcheck recipe or build a new package version, please fork this repository and submit a PR. Upon submission, your changes will be run on the appropriate platforms to give the reviewer an opportunity to confirm that the changes result in a successful build. Once merged, the recipe will be re-built and uploaded automatically to the conda-forge channel, whereupon the built conda packages will be available for everybody to install and use from the conda-forge channel. Note that all branches in the conda-forge/rapidcheck-feedstock are immediately built and any created packages are uploaded, so PRs should be based on branches in forks and branches in the main repository should only be used to build distinct package versions.

In order to produce a uniquely identifiable distribution:

  • If the version of a package is not being increased, please add or increase the build/number.
  • If the version of a package is being increased, please remember to return the build/number back to 0.

Feedstock Maintainers