def test_cc(termination, seed=None): term = termination(mask=seed) collapse = ct.collapsed(term(solver, True)) mask = list(collapse.values())[-1] # full results as mask _term = termination(mask=mask) assert not ct.collapsed(_term(solver, True)) # update mask with full results _term = ma.update_mask(term, collapse) assert mask == ma.get_mask(_term) assert not ct.collapsed(_term(solver, True))
def test_cc(termination, seed=None): term = termination(mask=seed) collapse = ct.collapsed(term(solver, True)) mask = collapse.values()[-1] # full results as mask _term = termination(mask=mask) assert not ct.collapsed(_term(solver, True)) # update mask with full results _term = ma.update_mask(term, collapse) assert mask == ma.get_mask(_term) assert not ct.collapsed(_term(solver, True))