2020-07-15 15:31:13 +08:00
|
|
|
#!/usr/bin/env python
|
2019-11-01 00:51:53 +08:00
|
|
|
# DExTer : Debugging Experience Tester
|
|
|
|
# ~~~~~~ ~ ~~ ~ ~~
|
|
|
|
#
|
|
|
|
# Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
|
|
|
|
# See https://llvm.org/LICENSE.txt for license information.
|
|
|
|
# SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
|
|
|
|
"""DExTer entry point. This is the only non-module file."""
|
|
|
|
|
|
|
|
import sys
|
|
|
|
|
2020-04-23 15:49:02 +08:00
|
|
|
if sys.version_info < (3, 6, 0):
|
|
|
|
sys.stderr.write("You need python 3.6 or later to run DExTer\n")
|
|
|
|
# Equivalent to sys.exit(ReturnCode._ERROR).
|
|
|
|
sys.exit(1)
|
|
|
|
|
2019-11-01 00:51:53 +08:00
|
|
|
from dex.tools import main
|
|
|
|
|
|
|
|
if __name__ == '__main__':
|
|
|
|
return_code = main()
|
|
|
|
sys.exit(return_code.value)
|