Package: hedgehog 0.2

Huw Campbell

hedgehog: Property-Based Testing

Hedgehog will eat all your bugs. 'Hedgehog' is a property-based testing package in the spirit of 'QuickCheck'. With 'Hedgehog', one can test properties of their programs against randomly generated input, providing far superior test coverage compared to unit testing. One of the key benefits of 'Hedgehog' is integrated shrinking of counterexamples, which allows one to quickly find the cause of bugs, given salient examples when incorrect behaviour occurs.

Authors:Huw Campbell [aut, cre]

hedgehog_0.2.tar.gz
hedgehog_0.2.zip(r-4.7)hedgehog_0.2.zip(r-4.6)hedgehog_0.2.zip(r-4.5)
hedgehog_0.2.tgz(r-4.6-any)hedgehog_0.2.tgz(r-4.5-any)
hedgehog_0.2.tar.gz(r-4.7-any)hedgehog_0.2.tar.gz(r-4.6-any)
hedgehog_0.2.tgz(r-4.6-emscripten)
manual.pdf |manual.html✨
DESCRIPTION
card.svg |card.png
hedgehog/json (API)

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

Bug tracker:https://github.com/hedgehogqa/r-hedgehog/issues

On CRAN:

Conda:

8.03 score 62 stars 1 packages 96 scripts 891 downloads 35 exports 24 dependencies

Last updated from:5a07730674. Checks:9 OK. Indexed: yes.

TargetResultTimeFilesSyslog
linux-devel-x86_64OK141
source / vignettesOK168
linux-release-x86_64OK139
macos-release-arm64OK120
macos-oldrel-arm64OK134
windows-develOK76
windows-releaseOK92
windows-oldrelOK73
wasm-releaseOK98

Exports:commanddiscardexpect_sequentialforallgen.actionsgen.and_thengen.betagen.bindgen.cgen.choicegen.dategen.elementgen.examplegen.gammagen.impuregen.intgen.listgen.mapgen.no.shrinkgen.puregen.recursivegen.rungen.samplegen.sample.intgen.shrinkgen.sizedgen.structuregen.subsequencegen.unifgen.withgenerateshrink.halvesshrink.listshrink.removesshrink.towards

Dependencies:briocallrclicrayondescdiffobjevaluatefsgluejsonlitelifecyclemagrittrotelpkgbuildpkgloadpraiseprocessxpsR6rlangrprojroottestthatwaldowithr

Hedgehog - State Machine Testing
Rendered fromstate-machines.Rmdusingknitr::rmarkdown

Last update: 2025-11-03
Started: 2017-10-09

Hedgehog - Property Testing in R
Features | Example | Generators | State Machine Testing
Rendered fromhedgehog.Rmdusingknitr::rmarkdown

Last update: 2025-11-03
Started: 2017-10-09

Readme and manuals

Help Manual

Help pageTopics
State based testing commandscommand
Discard a test casediscard
Execute a state machine modelexpect_sequential
Hedgehog property testforall
Random Sample Generationgen-element gen.choice gen.element gen.int gen.sample gen.sample.int gen.subsequence
Generatorsgen gen-monad gen.and_then gen.bind gen.impure gen.map gen.pure gen.with
Generate a list of possible actions.gen.actions
Generate a float with a gamma distributiongen.beta
Generate a vector of values from a generatorgen.c
Generate a date between the from and to dates specified.gen.date
Sample from a generator.gen.example
Generate a float with a gamma distributiongen.gamma
Generate a list of values, with length bounded by the size parameter.gen.list
Stop a generator from shrinkinggen.no.shrink
Build recursive structures in a way that guarantees termination.gen.recursive
Run a generatorgen.run
Helper to create a generator with a shrink function.gen.shrink
Sized generator creationgen.sized
Generate a structuregen.structure
Generate a float between the from and to the values specified.gen.unif
Compose generatorsgenerate
Property based testing in Rhedgehog
Shrink a number by dividing it into halves.shrink.halves
Shrink a list by edging towards the empty list.shrink.list
Produce permutations of removing num elements from a list.shrink.removes
Shrink an integral number by edging towards a destination.shrink.towards
A symbolic value.symbolic
Lazy rose treestree tree.bind tree.expand tree.liftA2 tree.map tree.sequence tree.unfold tree.unfoldForest
Creating trees of liststree.replicate tree.replicateS