1 # To check if PadV2 is converted to Pad
3 RULE "VERIFY_FILE_FORMAT" $(verify_file_format) '=' 1
5 RULE "PAD_EXIST" $(op_count PAD) '=' 1
6 RULE "MAXPOOL2D_EXIST" $(op_count MAX_POOL_2D) '=' 1
7 RULE "RELU_EXIST" $(op_count RELU) '=' 1
8 RULE "NO_PADV2" $(op_count PADV2) '=' 0