verify_wrappers_components Subroutine

subroutine verify_wrappers_components()

apply constraints specified in the json file

Arguments

None

Calls

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

Called by

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

Contents

None