-
Helga Velroyen authored
This includes: * The operator (/=?), which checks for inequality and prints an error message if it encounters equality. (Basically the negation of the (==?) operator). * Application of this operator in the test property prop_addPri_NoN1Fail. Signed-off-by: Helga Velroyen <helgav@google.com> Reviewed-by: Iustin Pop <iustin@google.com>
dddb2bc9