From de3a26c10dc2b4601637a582e8b0779a606c17df Mon Sep 17 00:00:00 2001 From: Matthew Fernandez Date: Sat, 24 Apr 2021 10:27:59 -0700 Subject: [PATCH] remove unused parameter to judge() --- rtest/generate_graph.py | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/rtest/generate_graph.py b/rtest/generate_graph.py index fe9d21e69..6274d6c41 100755 --- a/rtest/generate_graph.py +++ b/rtest/generate_graph.py @@ -185,7 +185,7 @@ def main(args: List[str]) -> int: ) = list(range(3)) # define our criteria for success - def judge(g: Graph, r: Result) -> int: + def judge(r: Result) -> int: if r.status == Result.TIMEOUT: return TOO_HOT if options.max_runtime is not None and options.max_runtime < r.runtime: @@ -207,7 +207,7 @@ def main(args: List[str]) -> int: # run this to get a baseline result = process(argv, graph, options.max_runtime) - j = judge(graph, result) + j = judge(result) # only do the rest if we do not immediately hit the constraints if j != JUST_RIGHT: @@ -235,7 +235,7 @@ def main(args: List[str]) -> int: print(f"graph with {c.nodes} nodes and {c.edges} used {r.rss}KB") # what did we learn? - j = judge(c, r) + j = judge(r) if j == TOO_COLD: lb = c elif j == JUST_RIGHT: -- 2.40.0