xorBuf

XOR arrays. Postcondition outputi = inputi ^ outputi forall i = 0...length

Parameters

output T*

the input/output buffer

input const(T)*

the read-only input buffer

length size_t

the length of the buffers

Meta