diff --git a/src/execution/main_execution.py b/src/execution/main_execution.py index 15fe8aba..1a5f23cf 100644 --- a/src/execution/main_execution.py +++ b/src/execution/main_execution.py @@ -16,14 +16,20 @@ def parse_args() -> argparse.Namespace: parser = argparse.ArgumentParser(description="GREEN Project") - parser.add_argument("-s", "--source", type=str, help="local source file name.") - parser.add_argument("-o", "--folder", type=str, help="Dir to store the results.", default="/tmp/grey/") - parser.add_argument("-g", "--greedy", action="store_true", help="Enables the greedy algorithm") - parser.add_argument("-bt", "--builtin-ops", action="store_true", dest = "builtin", - help="Keeps the original builtin opcodes") - parser.add_argument("-v", "--visualize", action="store_true", dest="visualize", - help="Generates a dot file for each object in the JSON, " - "showcasing the results from the liveness analysis") + input_options = parser.add_argument_group("Input Options") + + input_options.add_argument("-s", "--source", type=str, help="local source file name.") + + output_options = parser.add_argument_group("Output Options") + output_options.add_argument("-o", "--folder", type=str, help="Dir to store the results.", default="/tmp/grey/") + output_options.add_argument("-v", "--visualize", action="store_true", dest="visualize", + help="Generates a dot file for each object in the JSON, " + "showcasing the results from the liveness analysis") + + synthesis_options = parser.add_argument_group("Synthesis Options") + synthesis_options.add_argument("-g", "--greedy", action="store_true", help="Enables the greedy algorithm") + synthesis_options.add_argument("-bt", "--builtin-ops", action="store_true", dest="builtin", + help="Keeps the original builtin opcodes") args = parser.parse_args() return args