是否有一个verify()功能（如VERIFY()在MSVC）或类似的是在标准C库还是我写我自己？如果是这样，这头是下？
编辑：断言和验证的是，确认将在发布版本仍然执行的功能，而在断言语句不释放编译之间的差异。
即
assert( printf("assert ") );
verify( printf("verify") );
在调试将打印"assert verify"但在释放将打印"verify"。
在运行时，C在assert的assert.h宏。
在编译时，C（因为C11）在static_assert的assert.h宏。
有关信息，对于一些static_assert C89 / C99编译器还包括它作为一个编译器扩展。例如IAR编译器在static_assert的intrinsics.h功能。
你可以使用CUnit进行单元测试。这是好老的JUnit库为Java的I2C端口。
后来编辑：似乎有一个类似的宏，我不知道。
你可以使用在ASSERT.H定义的断言宏