postconditions: Get the stated postconditions of a validated function.

Description Usage Arguments Value

View source: R/ensure.R

Description

Get the stated postconditions of a validated function.

Usage

1

Arguments

fn

validated_function. The function to get the postconditions for.

Value

a call containing the postconditions.


peterhurford/checkr documentation built on May 25, 2019, 1:50 a.m.