[Verifier] Convert tests to opaque pointers (NFC)
Some tests are removed because they check conditions that are not relevant with opaque pointers.
parent
3ce03c42
Please register or sign in to comment
Some tests are removed because they check conditions that are not relevant with opaque pointers.