Commit 755b3b08 authored by Bowen Wu's avatar Bowen Wu
Browse files

Fix small issue

parent 9bca4717
......@@ -133,7 +133,7 @@ class OptFuzzer(object):
def print_stats(self):
print(f"Seeds: {self.seed}")
print("Mutation methods used: ", self.mut_method)
print("# Mutations: ", self.next_id)
print("# Mutations: ", self.next_id - len(self.seed))
print("# Mutants that caused a difference: ", len(self.diff))
def checkpoint(self):
......
......@@ -17,7 +17,7 @@ def replay(path):
print(", Obj Val = ", cpx_sol["obj_val"])
grb_sol = grb(mps)
print("Gurobi: Status = ", grb_sol["status"], end="\n\n" if grb_sol["status"] != OPTIMAL else "")
print(" Gurobi: Status = ", grb_sol["status"], end="\n\n" if grb_sol["status"] != OPTIMAL else "")
if grb_sol["status"] == OPTIMAL:
print(", Obj Val = ", grb_sol["obj_val"], "\n")
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment