plum-umd/redexer — pull request #9 by TaeHunKim (2014-09-20 06:23:57+00:00)
Title: Add a option to logging with more detail

I add a option of logging function.
If logging function is executed with `--opt-dex "-logging-detail"`, logging.ml skips `adr_relevant` and logs are added to more methods of a `apk` file.