From b5b9c85c404bc26228f8a92e8ddd6bbfb075afc8 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 19 Mar 2022 15:24:53 -0700 Subject: [PATCH] call it UbuntuBuild --- scripts/release.yml | 2 +- src/api/python/z3/z3.py | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/release.yml b/scripts/release.yml index 53f0b95dd7c..31c6f8226c9 100644 --- a/scripts/release.yml +++ b/scripts/release.yml @@ -174,7 +174,7 @@ stages: - task: DownloadPipelineArtifact@2 displayName: 'Download Ubuntu Build' inputs: - artifact: 'Ubuntu' + artifact: 'UbuntuBuild' path: $(Agent.TempDirectory)\package - task: DownloadPipelineArtifact@2 displayName: 'Download macOS Build' diff --git a/src/api/python/z3/z3.py b/src/api/python/z3/z3.py index b58ac28bea7..5e177ef08ed 100644 --- a/src/api/python/z3/z3.py +++ b/src/api/python/z3/z3.py @@ -11387,7 +11387,7 @@ def propagate(self, e, ids, eqs=[]): _ids, num_fixed = _to_ast_array(ids) num_eqs = len(eqs) _lhs, _num_lhs = _to_ast_array([x for x, y in eqs]) - _rhs, _num_lhs = _to_ast_array([y for x, y in eqs]) + _rhs, _num_rhs = _to_ast_array([y for x, y in eqs]) Z3_solver_propagate_consequence(e.ctx.ref(), ctypes.c_void_p( self.cb), num_fixed, _ids, num_eqs, _lhs, _rhs, e.ast)