def set_precondition(self, condition):
        self._solver.add(condition)
Add a precondition to the analyzer.
dataset/ETHPy150Open programa-stic/barf-project/barf/barf/analysis/codeanalyzer/codeanalyzer.py/CodeAnalyzer.set_precondition