Code Verification for RANS Solutions with Compact Support | AMiner