Learn R Programming

aisdk (version 1.1.0)

generate_verification_hypothesis: Generate Verification Hypothesis

Description

Generate Verification Hypothesis

Usage

generate_verification_hypothesis(code, result, test_fn, model)

Arguments