-
Notifications
You must be signed in to change notification settings - Fork 0
/
__init__.py
32 lines (25 loc) · 1.31 KB
/
__init__.py
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
#!/usr/bin/env python3
import argparse
import sys
import re
import cli
if __name__ == "__main__":
''' initialize the argparser '''
parser = argparse.ArgumentParser(description='', epilog='written by Benedikt Ferling<[email protected]>')
parser.add_argument("-t", dest='trainingTrace', metavar="FILE", required=True, help='train the DTMC with this file')
parser.add_argument("-i", dest='ips', metavar="IPs", required=True, help='two IPs semi-colon seperated')
parser.add_argument("-o", dest='outputpdf', metavar="OUTPUTFILE", default="", help='pdf outputfile')
parser.add_argument("-x", dest='outputxml', metavar="OUTPUTFILE", default="", help="xml outputfile")
parser.add_argument("-b", dest='bisimulation', metavar="BISIMULATION", default=0, help='use bisimulation. "0": no bisimulation(default), "1": merge all IOAS, "2": merge overlapping IOAs')
parser.add_argument("-c", dest='colored', action="store_true", default=False, help='colored graph')
parser.add_argument("-v", dest='testingTrace', default="", metavar="FILE", help='validate this trace against the training trace')
if len(sys.argv) == 1:
parser.print_help()
sys.exit(0)
args = parser.parse_args()
if args.outputpdf == "" and args.outputxml == "":
parser.print_help()
exit(1)
cli = cli.Cli(args)
exitcode = cli.run()
exit(exitcode)