def get_expr_value(self, expr):
        return self._solver.getvalue(expr)
Get a value for an expression.
dataset/ETHPy150Open programa-stic/barf-project/barf/barf/analysis/codeanalyzer/codeanalyzer.py/CodeAnalyzer.get_expr_value