Skip to content

Commit

Permalink
only use benchmarks < 5 min
Browse files Browse the repository at this point in the history
  • Loading branch information
Wout4 committed Nov 14, 2023
1 parent 76df8e1 commit c78b3de
Showing 1 changed file with 2 additions and 3 deletions.
5 changes: 2 additions & 3 deletions benchmarks/test_benchmarks.py
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,6 @@
cwd = os.getcwd()
if 'y' in cwd[-2:]:
xmlmodels.extend(glob.glob(join("benchmarks", 'instances', 'sat', "*.xml")))

xmlmodels.extend(glob.glob(join("benchmarks", 'instances', 'unsat', "*.xml")))
else:
xmlmodels.extend(glob.glob(join('instances', 'sat', "*.xml")))
Expand Down Expand Up @@ -45,7 +44,7 @@ def test_solve_ortools(xmlmodel, benchmark):
result = benchmark(s.solve,num_search_workers=6,time_limit=1800)


@pytest.mark.parametrize('xmlmodel', xmlmodels, ids=str)
"""@pytest.mark.parametrize('xmlmodel', xmlmodels, ids=str)
def test_transform_ortools(xmlmodel, benchmark):
model = XCSPParser(xmlmodel)
s = benchmark(cp.SolverLookup.get,'ortools',model)
s = benchmark(cp.SolverLookup.get,'ortools',model)"""

0 comments on commit c78b3de

Please sign in to comment.