Verify DAF output against contract

Convenience wrapper for verify_contract for output validation.

Usage

verify_output(daf_obj, contract)

Arguments

daf_obj

DAF object to validate

contract

Contract to validate against

Value

Invisible TRUE if valid, throws error otherwise