Searched refs:add_source_expr (Results 1 – 2 of 2) sorted by relevance
333 self.validator.add_source_expr(args[0]) # type: ignore[arg-type]497 def add_source_expr(self, e: z3.BoolRef) -> None: member in TranslationValidator
1823 validator.add_source_expr(z0 > 5)1824 validator.add_source_expr(z1 / 2 > z0)1839 validator.add_source_expr(z0 > 5)1840 validator.add_source_expr(z1 / 2 > z0)