def set_preconditions(self, conditions):
        for cond in conditions:
            self._solver.add(cond)
Add preconditions to the analyzer.
dataset/ETHPy150Open programa-stic/barf-project/barf/barf/analysis/codeanalyzer/codeanalyzer.py/CodeAnalyzer.set_preconditions