Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Avoid verifying IntrinsicFunction if check_external is False#2155

Merged
certik merged 1 commit intolcompilers:mainfrom
czgdp1807:verify
Jul 13, 2023
Merged

Avoid verifying ``IntrinsicFunction`` if ``check_external`` is ``False``#2155
certik merged 1 commit intolcompilers:mainfrom
czgdp1807:verify

Commits

Commits on Jul 13, 2023