{"name": "test_method_str", "code": "int test_method_str ( ) { const char * @@v0@@ ; const char * v1 ; int result ; @@v0@@ = ( const char * ) http_method_str ( Number L ) ; if ( strcmp ( String , @@v0@@ ) ) _assert_fail ( String , String , Number , String ) ; v1 = ( const char * ) http_method_str ( Number L ) ; result = strcmp ( String , v1 ) ; if ( result ) _assert_fail ( String , String , Number , String ) ; return result ; }", "source": [{"n": "v0", "t": {"T": 3, "t": "const char"}, "location": "r64"}]}