Lines Matching refs:sc_assert
49 sc_assert(buf[2] == '1');
51 sc_assert(buf[2] == '0');
90 sc_assert( x == qi );
92 sc_assert( y == qj );
93 sc_assert((x == qj) == (qi == qj));
94 sc_assert((x == qj) == (qj == x));
95 sc_assert((x != qj) == (qi != qj));
96 sc_assert((x != qj) == (qj != x));
97 sc_assert((x < qj) == (qi < qj));
98 sc_assert((x < qj) == (qj > x));
99 sc_assert((x <= qj) == (qi <= qj));
100 sc_assert((x <= qj) == (qj >= x));
101 sc_assert((x > qj) == (qi > qj));
102 sc_assert((x > qj) == (qj < x));
103 sc_assert((x >= qj) == (qi >= qj));
104 sc_assert((x >= qj) == (qj <= x));
109 sc_assert( x == tqi );
116 sc_assert( x == tqi );
123 sc_assert( x == tqi );
131 sc_assert( x == tqi );
138 sc_assert( x == tqi );
146 sc_assert( x == tqi );
153 sc_assert( x == tqi );
160 sc_assert( x == tqi );
168 sc_assert( x == tqi );
175 sc_assert( x == tqi );