def main(): """ Dispatches execution into one of Manticore's engines: evm or native. """ args = parse_arguments() if args.no_colors: log.disable_colors() sys.setrecursionlimit(consts.recursionlimit) ManticoreBase.verbosity(args.v) if args.argv[0].endswith('.sol'): ethereum_main(args, logger) else: native_main(args, logger)
def main(): """ Dispatches execution into one of Manticore's engines: evm or native. """ args = parse_arguments() if args.no_colors: log.disable_colors() sys.setrecursionlimit(consts.recursionlimit) set_verbosity(args.v) if args.argv[0].endswith(".sol"): ethereum_main(args, logger) else: install_helper.ensure_native_deps() native_main(args, logger)
def main(): """ Dispatches execution into one of Manticore's engines: evm or native. """ args = parse_arguments() if args.no_colors: log.disable_colors() sys.setrecursionlimit(consts.recursionlimit) set_verbosity(args.v) resources.check_disk_usage() resources.check_memory_usage() if args.argv[0].endswith(".sol") or is_supported(args.argv[0]): ethereum_main(args, logger) elif args.argv[0].endswith(".wasm") or args.argv[0].endswith(".wat"): wasm_main(args, logger) else: install_helper.ensure_native_deps() native_main(args, logger)