verifyexample03.cxx

Vovida 社区开源的 SIP 协议源码

#include "Verify.hxx"

int equals(int a, int b)
{
    return a != b; // this is clearly wrong
}

int main()
{
    test_verify(0 == 0);
    test_verify(1 == 1);
    test_verify(1 != 0);

    test_bug(equals(0, 0));
    test_bug(equals(1, 1));
    test_bug(!equals(0, 1));

    return test_return_code(6);
}