AlexisHamon

Implement apk signer v2 or automatically downgrade Target Sdk Version to 29

2

If we don't, all apks with a tarfet Sdk version to 30+ will not be installed by adb. Something like : `adb: failed to install base.apk: Failure [INSTALL_PARSE_FAILED_NO_CERTIFICATES: Scanning Failed.:...

there is a stage where the apk might be build by apktool in enableUserCerts() that may not work because --use-aapt2 is not implemented

args "apktool.bat" instead "apktool" for windows nt Same method as runApkTool() to avoid apktool PAUSE

I'm using the Z3 API on OCaml (z3 opam version `4.12.5`) and I found a strange behavior. When I try to get a function declaration like this, ```ocaml Z3.Expr.get_func_decl expr...