Lines Matching refs:sc_assert
75 sc_assert( sc_is_unwinding() );
76 sc_assert( !ex.is_reset() );
77 sc_assert( count == 1 );
78 sc_assert( !killing_over );
88 sc_assert( count == 1 );
92 sc_assert( count == 2 );
96 sc_assert( count == 0 );
100 sc_assert( count == 1 );
103 sc_assert( !killing_over );
107 sc_assert( t.terminated() );
108 sc_assert( k.terminated() );
127 sc_assert( ex.is_reset() );
130 sc_assert( !ex.is_reset() );
131 sc_assert( !killing_over );
135 sc_assert( false );