From 8d9a631c5da252a31588d61fb50476b39666b80a Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 10 Jul 2019 16:21:03 +0100 Subject: [PATCH] try to copy artifacts Signed-off-by: Nikolaj Bjorner --- scripts/release.yml | 3 +++ src/tactic/arith/purify_arith_tactic.cpp | 2 +- 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/scripts/release.yml b/scripts/release.yml index d8224b262..fd5fddce8 100644 --- a/scripts/release.yml +++ b/scripts/release.yml @@ -69,6 +69,9 @@ jobs: inputs: artifactName: 'Ubuntu' targetPath: tmp + - task: CopyFiles@2 + sourceFolder: $(Build.ArtifactStagingDirectory) + targetFilder: tmp # TBD: build NuGet package # TBD: this script should build a specific pre-specified tag - task: GitHubRelease@0 diff --git a/src/tactic/arith/purify_arith_tactic.cpp b/src/tactic/arith/purify_arith_tactic.cpp index 611783077..0ef8adfbe 100644 --- a/src/tactic/arith/purify_arith_tactic.cpp +++ b/src/tactic/arith/purify_arith_tactic.cpp @@ -297,7 +297,7 @@ struct purify_arith_proc { EQ(u().mk_mul(y, k), x))); push_cnstr_pr(result_pr); rational r; - if (complete() && (!u().is_numeral(y, r) || r.is_zero())) { + if (complete() && (!u().is_numeral(y, r) || !r.is_zero())) { // y != 0 \/ k = div-0(x) push_cnstr(OR(NOT(EQ(y, mk_real_zero())), EQ(k, u().mk_div(x, mk_real_zero()))));