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)
