plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/tools/xSAP/scripts/view_trace.py

# Handy Launcher for the Trace Viewer
import _paths


def main():
    from trace_viewer import discrete_trace_viewer as tv
    # import discrete_trace_viewer as tv
    tv.run()


if "__main__" == __name__:
    _paths.setup_path()
    main()