METHOD_0 ( ) { org . IDENT_0 . crypto . IDENT_1 key = org . IDENT_0 . crypto . IDENT_1 . METHOD_1 ( IDENT_2 ) ; java . lang . String message = new java . lang . String ( STRING_0 ) ; org . IDENT_0 . crypto . IDENT_1 . IDENT_3 output = key . METHOD_2 ( message . getBytes ( ) ) ; "<AssertPlaceHolder>" ; } verify ( byte [ ] , org . IDENT_0 . crypto . IDENT_4 ) { return org . IDENT_0 . crypto . IDENT_1 . verify ( IDENT_5 , IDENT_6 , METHOD_3 ( ) ) ; }
org . junit . Assert . assertTrue ( key . verify ( message . getBytes ( ) , output ) )