check that the given deck is empty . concode_field_sep PlaceHolder placeHolder concode_field_sep void test2CardDeck concode_elem_sep void testOneCard concode_elem_sep void testShuffle concode_elem_sep void main concode_elem_sep void test1CardDeck
void function ( Deck arg0 ) { assert arg0 . size ( ) == 0 : "srini_string" + arg0 . size ( ) + "srini_string" ; assert arg0 . isEmpty ( ) : "srini_string" ; Card loc0 = arg0 . deal ( ) ; assert loc0 == null : "srini_string" + loc0 + "srini_string" ; }