1 2
RUN: $(dimacs_assignment) $(dimacs_example.txt) --assignment_maximize_cost 2>&1 CHECK: "Cost of optimum assignment: -110"