42 true (gt (INT_MAX
, 0));
43 false (gt (0, INT_MAX
));
44 true (gt (INT_MAX
, 1));
45 false (gt (1, INT_MAX
));
47 false (gt (INT_MIN
, 0));
48 true (gt (0, INT_MIN
));
49 false (gt (INT_MIN
, 1));
50 true (gt (1, INT_MIN
));
52 true (gt (INT_MAX
, INT_MIN
));
53 false (gt (INT_MIN
, INT_MAX
));
58 true (ge (INT_MAX
, 0));
59 false (ge (0, INT_MAX
));
60 true (ge (INT_MAX
, 1));
61 false (ge (1, INT_MAX
));
63 false (ge (INT_MIN
, 0));
64 true (ge (0, INT_MIN
));
65 false (ge (INT_MIN
, 1));
66 true (ge (1, INT_MIN
));
68 true (ge (INT_MAX
, INT_MIN
));
69 false (ge (INT_MIN
, INT_MAX
));
74 false (lt (INT_MAX
, 0));
75 true (lt (0, INT_MAX
));
76 false (lt (INT_MAX
, 1));
77 true (lt (1, INT_MAX
));
79 true (lt (INT_MIN
, 0));
80 false (lt (0, INT_MIN
));
81 true (lt (INT_MIN
, 1));
82 false (lt (1, INT_MIN
));
84 false (lt (INT_MAX
, INT_MIN
));
85 true (lt (INT_MIN
, INT_MAX
));
90 false (le (INT_MAX
, 0));
91 true (le (0, INT_MAX
));
92 false (le (INT_MAX
, 1));
93 true (le (1, INT_MAX
));
95 true (le (INT_MIN
, 0));
96 false (le (0, INT_MIN
));
97 true (le (INT_MIN
, 1));
98 false (le (1, INT_MIN
));
100 false (le (INT_MAX
, INT_MIN
));
101 true (le (INT_MIN
, INT_MAX
));