Commit 8099ff8c authored by Bowen Wu's avatar Bowen Wu
Browse files

Make more euler-friendtly part2

parent 75f955a7
......@@ -52,12 +52,14 @@ class CplexSolver(Solver):
super().__init__(verbose)
def __call__(self, mps_file: str) -> dict:
model = Cplex()
model.set_results_stream(None)
model.set_warning_stream(None)
model.set_error_stream(None)
model.set_log_stream(None)
with VerbosePrint(self.verbose):
model = Cplex(mps_file)
# model.set_results_stream(None)
model.set_warning_stream(None)
# model.set_error_stream(None)
# model.set_log_stream(None)
model.read(mps_file)
model.solve()
if self.get_sol_status(model.solution) == INF_OR_UNBD:
......@@ -135,6 +137,7 @@ class GurobiSolver(Solver):
def __call__(self, mps_file: str) -> dict:
with VerbosePrint(self.verbose):
model = gp.read(mps_file)
model.setParam("OutputFlag", False)
model.optimize()
if self.get_sol_status(model) == INF_OR_UNBD:
......@@ -179,4 +182,4 @@ if __name__ == "__main__":
print(cpx(mps_file))
print(grb(mps_file))
cpx.print_solver_stats()
grb.print_solver_stats()
\ No newline at end of file
grb.print_solver_stats()
if [ $1 = "local" ]; then
euler_command=
elif [ $1 = "euler" ]; then
euler_command="bsub"
euler_command="bsub -n 4"
elif [ $1 = "clean" ]; then
rm -rf ckpt/
rm -rf diff/
rm -rf mutated/
rm clone*.log
rm lsf.*
exit
else
echo "Must specify local or euler"
......@@ -16,5 +17,5 @@ fi
set -x
${euler_command} python opt_fuzz.py \
--mut_methods FlipSignMut \
--max_time 30
set +x
\ No newline at end of file
--max_time 900
set +x
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