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))
