verify_wrappers_components Subroutine

subroutine verify_wrappers_components()

apply constraints specified in the json file

Arguments

None

Calls

proc~~verify_wrappers_components~~CallsGraph proc~verify_wrappers_components verify_wrappers_components interface~assert assert proc~verify_wrappers_components->interface~assert proc~assert assert interface~assert->proc~assert

Called by

proc~~verify_wrappers_components~~CalledByGraph proc~verify_wrappers_components verify_wrappers_components proc~set_block_metadata set_block_metadata proc~set_block_metadata->proc~verify_wrappers_components interface~set_block_metadata set_block_metadata interface~set_block_metadata->proc~set_block_metadata

Contents

None