We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent ffc2532 commit a0c04a3Copy full SHA for a0c04a3
tools/verification/dot2/dot2k
@@ -15,8 +15,6 @@ if __name__ == '__main__':
15
import os
16
import platform
17
import sys
18
- import sys
19
- import argparse
20
21
parser = argparse.ArgumentParser(description='transform .dot file into kernel rv monitor')
22
parser.add_argument('-d', "--dot", dest="dot_file", required=True)
0 commit comments