Skip to content

Commit dfbbe00

Browse files
dreamer-codingdreamer-coding
committed
update the bitwise cases
1 parent eb8ae52 commit dfbbe00

File tree

2 files changed

+62
-62
lines changed

2 files changed

+62
-62
lines changed

‎code/tests/cases/test_tdd.c‎

Lines changed: 31 additions & 31 deletions
Original file line numberDiff line numberDiff line change
@@ -949,82 +949,82 @@ FOSSIL_TEST(c_assume_run_of_not_soap_tone_detected) {
949949
} // end case
950950

951951
FOSSIL_TEST(c_assume_run_of_bitwise_true) {
952-
uint8_t a = 0b10101010;
953-
uint8_t b = 0b01010101;
954-
uint8_t c = a | b; // 0b11111111
955-
uint8_t d = a & b; // 0b00000000
952+
uint8_t a = 0xAA;
953+
uint8_t b = 0x55;
954+
uint8_t c = a | b; // 0xFF
955+
uint8_t d = a & b; // 0x00
956956

957-
ASSUME_ITS_BITWISE_TRUE(a & 0b10000000);
958-
ASSUME_ITS_BITWISE_TRUE(b & 0b00000001);
957+
ASSUME_ITS_BITWISE_TRUE(a & 0x80);
958+
ASSUME_ITS_BITWISE_TRUE(b & 0x01);
959959
ASSUME_ITS_BITWISE_TRUE(c == 0xFF);
960960
ASSUME_ITS_BITWISE_TRUE(~d == 0xFF);
961961
}
962962

963963
FOSSIL_TEST(c_assume_run_of_bitwise_false) {
964-
uint8_t a = 0b10101010;
965-
uint8_t b = 0b01010101;
966-
uint8_t d = a & b; // 0b00000000
964+
uint8_t a = 0xAA;
965+
uint8_t b = 0x55;
966+
uint8_t d = a & b; // 0x00
967967

968-
ASSUME_ITS_BITWISE_FALSE(d & 0b00000001);
969-
ASSUME_ITS_BITWISE_FALSE(a & 0b00000001);
970-
ASSUME_ITS_BITWISE_FALSE(b & 0b10000000);
968+
ASSUME_ITS_BITWISE_FALSE(d & 0x01);
969+
ASSUME_ITS_BITWISE_FALSE(a & 0x01);
970+
ASSUME_ITS_BITWISE_FALSE(b & 0x80);
971971
ASSUME_ITS_BITWISE_FALSE(a == b);
972972
}
973973

974974
FOSSIL_TEST(c_assume_run_of_not_bitwise_true) {
975-
uint8_t a = 0b10101010;
976-
uint8_t b = 0b01010101;
975+
uint8_t a = 0xAA;
976+
uint8_t b = 0x55;
977977

978978
ASSUME_NOT_BITWISE_TRUE(a == b);
979-
ASSUME_NOT_BITWISE_TRUE(a & 0b00000001);
980-
ASSUME_NOT_BITWISE_TRUE(b & 0b10000000);
979+
ASSUME_NOT_BITWISE_TRUE(a & 0x01);
980+
ASSUME_NOT_BITWISE_TRUE(b & 0x80);
981981
}
982982

983983
FOSSIL_TEST(c_assume_run_of_not_bitwise_false) {
984-
uint8_t a = 0b10101010;
985-
uint8_t b = 0b01010101;
986-
uint8_t c = a | b; // 0b11111111
984+
uint8_t a = 0xAA;
985+
uint8_t b = 0x55;
986+
uint8_t c = a | b; // 0xFF
987987

988988
ASSUME_NOT_BITWISE_FALSE(c == 0xFF);
989-
ASSUME_NOT_BITWISE_FALSE(a & 0b10000000);
990-
ASSUME_NOT_BITWISE_FALSE(b & 0b00000001);
989+
ASSUME_NOT_BITWISE_FALSE(a & 0x80);
990+
ASSUME_NOT_BITWISE_FALSE(b & 0x01);
991991
}
992992

993993
FOSSIL_TEST(c_assume_run_of_less_than_bitwise) {
994-
uint8_t a = 0b00001111; // 15
995-
uint8_t b = 0b11110000; // 240
994+
uint8_t a = 0x0F; // 15
995+
uint8_t b = 0xF0; // 240
996996

997997
ASSUME_ITS_LESS_THAN_BITWISE(a, b);
998998
ASSUME_ITS_LESS_THAN_BITWISE(a & b, a | b);
999999
}
10001000

10011001
FOSSIL_TEST(c_assume_run_of_more_than_bitwise) {
1002-
uint8_t a = 0b11110000; // 240
1003-
uint8_t b = 0b00001111; // 15
1002+
uint8_t a = 0xF0; // 240
1003+
uint8_t b = 0x0F; // 15
10041004

10051005
ASSUME_ITS_MORE_THAN_BITWISE(a, b);
10061006
ASSUME_ITS_MORE_THAN_BITWISE(a | b, a & b);
10071007
}
10081008

10091009
FOSSIL_TEST(c_assume_run_of_equal_bitwise) {
1010-
uint8_t a = 0b10101010;
1011-
uint8_t b = 0b10101010;
1010+
uint8_t a = 0xAA;
1011+
uint8_t b = 0xAA;
10121012

10131013
ASSUME_ITS_EQUAL_BITWISE(a, b);
10141014
ASSUME_ITS_EQUAL_BITWISE(a ^ b, 0);
10151015
}
10161016

10171017
FOSSIL_TEST(c_assume_run_of_more_or_equal_bitwise) {
1018-
uint8_t a = 0b10101010;
1019-
uint8_t b = 0b01010101;
1018+
uint8_t a = 0xAA;
1019+
uint8_t b = 0x55;
10201020

10211021
ASSUME_ITS_MORE_OR_EQUAL_BITWISE(a, b);
10221022
ASSUME_ITS_MORE_OR_EQUAL_BITWISE(a, a);
10231023
}
10241024

10251025
FOSSIL_TEST(c_assume_run_of_less_or_equal_bitwise) {
1026-
uint8_t a = 0b01010101;
1027-
uint8_t b = 0b10101010;
1026+
uint8_t a = 0x55;
1027+
uint8_t b = 0xAA;
10281028

10291029
ASSUME_ITS_LESS_OR_EQUAL_BITWISE(a, b);
10301030
ASSUME_ITS_LESS_OR_EQUAL_BITWISE(b, b);

‎code/tests/cases/test_tdd.cpp‎

Lines changed: 31 additions & 31 deletions
Original file line numberDiff line numberDiff line change
@@ -945,82 +945,82 @@ FOSSIL_TEST(cpp_assume_run_of_not_soap_tone_detected) {
945945
} // end case
946946

947947
FOSSIL_TEST(cpp_assume_run_of_bitwise_true) {
948-
uint8_t a = 0b10101010;
949-
uint8_t b = 0b01010101;
950-
uint8_t c = a | b; // 0b11111111
951-
uint8_t d = a & b; // 0b00000000
948+
uint8_t a = 0xAA; // 0b10101010
949+
uint8_t b = 0x55; // 0b01010101
950+
uint8_t c = a | b; // 0xFF
951+
uint8_t d = a & b; // 0x00
952952

953-
ASSUME_ITS_BITWISE_TRUE(a & 0b10000000);
954-
ASSUME_ITS_BITWISE_TRUE(b & 0b00000001);
953+
ASSUME_ITS_BITWISE_TRUE(a & 0x80); // 0b10000000
954+
ASSUME_ITS_BITWISE_TRUE(b & 0x01); // 0b00000001
955955
ASSUME_ITS_BITWISE_TRUE(c == 0xFF);
956956
ASSUME_ITS_BITWISE_TRUE(~d == 0xFF);
957957
}
958958

959959
FOSSIL_TEST(cpp_assume_run_of_bitwise_false) {
960-
uint8_t a = 0b10101010;
961-
uint8_t b = 0b01010101;
962-
uint8_t d = a & b; // 0b00000000
960+
uint8_t a = 0xAA; // 0b10101010
961+
uint8_t b = 0x55; // 0b01010101
962+
uint8_t d = a & b; // 0x00
963963

964-
ASSUME_ITS_BITWISE_FALSE(d & 0b00000001);
965-
ASSUME_ITS_BITWISE_FALSE(a & 0b00000001);
966-
ASSUME_ITS_BITWISE_FALSE(b & 0b10000000);
964+
ASSUME_ITS_BITWISE_FALSE(d & 0x01); // 0b00000001
965+
ASSUME_ITS_BITWISE_FALSE(a & 0x01); // 0b00000001
966+
ASSUME_ITS_BITWISE_FALSE(b & 0x80); // 0b10000000
967967
ASSUME_ITS_BITWISE_FALSE(a == b);
968968
}
969969

970970
FOSSIL_TEST(cpp_assume_run_of_not_bitwise_true) {
971-
uint8_t a = 0b10101010;
972-
uint8_t b = 0b01010101;
971+
uint8_t a = 0xAA; // 0b10101010
972+
uint8_t b = 0x55; // 0b01010101
973973

974974
ASSUME_NOT_BITWISE_TRUE(a == b);
975-
ASSUME_NOT_BITWISE_TRUE(a & 0b00000001);
976-
ASSUME_NOT_BITWISE_TRUE(b & 0b10000000);
975+
ASSUME_NOT_BITWISE_TRUE(a & 0x01); // 0b00000001
976+
ASSUME_NOT_BITWISE_TRUE(b & 0x80); // 0b10000000
977977
}
978978

979979
FOSSIL_TEST(cpp_assume_run_of_not_bitwise_false) {
980-
uint8_t a = 0b10101010;
981-
uint8_t b = 0b01010101;
982-
uint8_t c = a | b; // 0b11111111
980+
uint8_t a = 0xAA; // 0b10101010
981+
uint8_t b = 0x55; // 0b01010101
982+
uint8_t c = a | b; // 0xFF
983983

984984
ASSUME_NOT_BITWISE_FALSE(c == 0xFF);
985-
ASSUME_NOT_BITWISE_FALSE(a & 0b10000000);
986-
ASSUME_NOT_BITWISE_FALSE(b & 0b00000001);
985+
ASSUME_NOT_BITWISE_FALSE(a & 0x80); // 0b10000000
986+
ASSUME_NOT_BITWISE_FALSE(b & 0x01); // 0b00000001
987987
}
988988

989989
FOSSIL_TEST(cpp_assume_run_of_less_than_bitwise) {
990-
uint8_t a = 0b00001111; // 15
991-
uint8_t b = 0b11110000; // 240
990+
uint8_t a = 0x0F; // 15
991+
uint8_t b = 0xF0; // 240
992992

993993
ASSUME_ITS_LESS_THAN_BITWISE(a, b);
994994
ASSUME_ITS_LESS_THAN_BITWISE(a & b, a | b);
995995
}
996996

997997
FOSSIL_TEST(cpp_assume_run_of_more_than_bitwise) {
998-
uint8_t a = 0b11110000; // 240
999-
uint8_t b = 0b00001111; // 15
998+
uint8_t a = 0xF0; // 240
999+
uint8_t b = 0x0F; // 15
10001000

10011001
ASSUME_ITS_MORE_THAN_BITWISE(a, b);
10021002
ASSUME_ITS_MORE_THAN_BITWISE(a | b, a & b);
10031003
}
10041004

10051005
FOSSIL_TEST(cpp_assume_run_of_equal_bitwise) {
1006-
uint8_t a = 0b10101010;
1007-
uint8_t b = 0b10101010;
1006+
uint8_t a = 0xAA; // 0b10101010
1007+
uint8_t b = 0xAA; // 0b10101010
10081008

10091009
ASSUME_ITS_EQUAL_BITWISE(a, b);
10101010
ASSUME_ITS_EQUAL_BITWISE(a ^ b, 0);
10111011
}
10121012

10131013
FOSSIL_TEST(cpp_assume_run_of_more_or_equal_bitwise) {
1014-
uint8_t a = 0b10101010;
1015-
uint8_t b = 0b01010101;
1014+
uint8_t a = 0xAA; // 0b10101010
1015+
uint8_t b = 0x55; // 0b01010101
10161016

10171017
ASSUME_ITS_MORE_OR_EQUAL_BITWISE(a, b);
10181018
ASSUME_ITS_MORE_OR_EQUAL_BITWISE(a, a);
10191019
}
10201020

10211021
FOSSIL_TEST(cpp_assume_run_of_less_or_equal_bitwise) {
1022-
uint8_t a = 0b01010101;
1023-
uint8_t b = 0b10101010;
1022+
uint8_t a = 0x55; // 0b01010101
1023+
uint8_t b = 0xAA; // 0b10101010
10241024

10251025
ASSUME_ITS_LESS_OR_EQUAL_BITWISE(a, b);
10261026
ASSUME_ITS_LESS_OR_EQUAL_BITWISE(b, b);

0 commit comments

Comments
 (0)