def set_postcondition(self, condition):
        self._solver.add(condition)
Returns the list of indexes to act on.
dataset/ETHPy150Open programa-stic/barf-project/barf/barf/analysis/codeanalyzer/codeanalyzer.py/CodeAnalyzer.set_postcondition--crossover with--dataset/ETHPy150Open mozilla/elasticutils/elasticutils/__init__.py/S.get_indexes