MachineVerifier: Continue reporting errors for copies
This was skipping verification of later copies, but generally the verifier tries to report as many things wrong as possible in the function.
Loading
Please register or sign in to comment
This was skipping verification of later copies, but generally the verifier tries to report as many things wrong as possible in the function.