from_hedgehog {quickcheck} | R Documentation |
Convert a hedgehog generator to a quickcheck generator
Description
Convert a hedgehog generator to a quickcheck generator
Usage
from_hedgehog(generator)
Arguments
generator |
A |
Value
A quickcheck_generator
object.
Examples
is_even <-
function(a) a %% 2L == 0L
gen_powers_of_two <-
hedgehog::gen.element(1:10) %>% hedgehog::gen.with(function(a) 2 ^ a)
for_all(
a = from_hedgehog(gen_powers_of_two),
property = function(a) is_even(a) %>% testthat::expect_true()
)
[Package quickcheck version 0.1.3 Index]