does LEC need patterns?what's the test vector mean when debug non-equivalence?

[wming]

Conformal-LEC is a program that checks logic equivalency in formal verification which means the mathematical verification of the logic of a circuit. however i found test vectors when debug. why there is vector?

 

[RCircuit]

One set of vector means these setup of 1and 0 of support points can give you one mismatch result.