Comment 3 for bug 1980648

Verified with B-AWS-4.15.0-1138.149

The test will be skipped now:

 Running './test_verifier'
 #0/u add+sub+mul SKIP
 #0/p add+sub+mul OK
 #1/u DIV32 by 0, zero check 1 SKIP
 #1/p DIV32 by 0, zero check 1 OK
 #2/u DIV32 by 0, zero check 2 SKIP
 #2/p DIV32 by 0, zero check 2 OK
 #3/u DIV64 by 0, zero check SKIP
 #3/p DIV64 by 0, zero check OK
 #4/u MOD32 by 0, zero check 1 SKIP