verify_wrappers_components Subroutine

subroutine verify_wrappers_components()

apply constraints specified in the json file

Arguments

None

Calls

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

Called by

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

Contents

None