Skip to content

Commit

Permalink
Group options according to type
Browse files Browse the repository at this point in the history
  • Loading branch information
alexcere committed Oct 3, 2024
1 parent f81abbf commit 0f5db9e
Showing 1 changed file with 14 additions and 8 deletions.
22 changes: 14 additions & 8 deletions src/execution/main_execution.py
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit 0f5db9e

Please sign in to comment.