📄 scott-compare3.c
字号:
/** compare3.c regression testing program for comparing literals to variables*/#include <testfwk.h>unsigned int aint0 = 0;unsigned int aint1 = 0;unsigned char achar0 = 0;unsigned char achar1 = 0;// compare to 0// assumes// achar0 == 0// achar1 != 0// aint0 == 0// aint1 != 0void c_0(void){ ASSERT(!(achar0 != 0)); ASSERT(!(achar0)); ASSERT(!(achar1 == 0)); ASSERT(!(!achar1)); ASSERT(!(aint0 != 0)); ASSERT(!(aint0)); ASSERT(!(aint1 == 0)); ASSERT(!(!aint1));}// compare to 1// assumes// achar0 != 1// achar1 == 1// aint0 != 1// aint1 == 1void c_1(void){ ASSERT(!(achar0 == 1)); ASSERT(!(achar1 != 1)); ASSERT(!(aint0 == 1)); ASSERT(!(aint1 != 1));}// compare to 2// assumes// achar0 == 2// aint0 == 2void c_2(void){ ASSERT(!(achar0 != 2)); ASSERT(!(aint0 != 2));}// compare to 0xff// assumes// achar0 == 0xff// aint0 == 0xffvoid c_ff(void){ ASSERT(!(achar0 != 0xff)); ASSERT(!(aint0 != 0xff)); ASSERT(!(aint0 == 0xfe)); ASSERT(!(aint0 == 0xff00U));}// compare to 0x00a5// assumes// achar0 == 0xa5// aint0 == 0x00a5void c_a5(void){ ASSERT(!(achar0 != 0xa5)); ASSERT(!(aint0 != 0xa5)); ASSERT(!(aint0 == 0xa4)); ASSERT(!(aint0 == 0xa500U));}// compare to 0xa500// assumes// achar0 == 0xa5// aint0 == 0xa500void c_a500(void){ ASSERT(!(achar0 == (unsigned char)0xa500U)); ASSERT(!(aint0 != 0xa500U)); ASSERT(!(aint0 == 0xa400U)); ASSERT(!(aint0 == 0x00a5));}// compare to 0xabcd// assumes// achar0 == 0xa5// aint0 == 0xabcdvoid c_abcd(void){ ASSERT(!(achar0 == (unsigned char)0xabcdU)); ASSERT(!(aint0 != 0xabcdU)); ASSERT(!(aint0 == 0xab00U)); ASSERT(!(aint0 == 0x00cd)); ASSERT(!(aint0 == (unsigned int)0x1234abcdU));}voidtestCompare3 (void){ aint1 = 1; achar1 = 1; c_0(); c_1(); aint0 = 2; achar0 = 2; c_2(); aint0 = 0xff; achar0 = 0xff; c_ff(); aint0 = 0xa5; achar0 = 0xa5; c_a5(); aint0 = 0xabcd; c_abcd();}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -