test ( ) { int IDENT_0 = 4 ; int IDENT_1 = INT_0 ; java . util . concurrent . IDENT_2 IDENT_3 = new java . util . concurrent . METHOD_0 ( IDENT_0 ) ; java . lang . Thread [ ] IDENT_4 = new java . lang . Thread [ IDENT_0 ] ; for ( int t = 0 ; t < IDENT_0 ; t ++ ) { IDENT_4 [ t ] = new java . lang . Thread ( ( ) -> { IDENT_3 . METHOD_1 ( ) ; try { IDENT_3 . METHOD_2 ( ) ; } catch ( e ) { throw new < IDENT_5 . e > java . lang . RuntimeException ( ) ; } for ( int i = 0 ; i < IDENT_1 ; i ++ ) { commands . METHOD_3 ( IDENT_5 . IDENT_6 . IDENT_7 , IDENT_8 . IDENT_9 , IDENT_5 . IDENT_6 . IDENT_10 ) ; } } ) ; IDENT_4 [ t ] . start ( ) ; } for ( java . lang . Thread IDENT_11 : IDENT_4 ) { IDENT_11 . join ( ) ; } long result = commands . METHOD_3 ( IDENT_5 . IDENT_6 . IDENT_7 , IDENT_8 . IDENT_9 , IDENT_5 . IDENT_6 . IDENT_10 ) ; System . err . println ( result ) ; "<AssertPlaceHolder>" ; }
org . junit . Assert . assertEquals ( result , ( ( IDENT_0 * IDENT_1 ) + 1 ) )