From 36ed1ffac22ed96167fa4c871405f2152bcfda11 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 8 Jan 2022 15:13:46 -0800
Subject: [PATCH] update name of artifact

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 scripts/nightly.yaml        |  7 ++++++-
 src/ast/static_features.cpp | 13 +++++++------
 2 files changed, 13 insertions(+), 7 deletions(-)

diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index 09149c0a2..a3c5af2fd 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -337,7 +337,7 @@ stages:
     - task: PublishPipelineArtifact@1
       inputs:
         targetPath: $(Build.ArtifactStagingDirectory)
-        artifactName: 'NuGet'
+        artifactName: 'NuGet32'
 
 
   - job: Python
@@ -419,6 +419,11 @@ stages:
       inputs:
         artifactName: 'NuGet'
         targetPath: tmp
+    - task: DownloadPipelineArtifact@2
+      displayName: "Download NuGet32"
+      inputs:
+        artifactName: 'NuGet32'
+        targetPath: tmp
     - task: GitHubRelease@0
       inputs:
         gitHubConnection: Z3GitHub
diff --git a/src/ast/static_features.cpp b/src/ast/static_features.cpp
index 8198f1d04..ec1a73e9b 100644
--- a/src/ast/static_features.cpp
+++ b/src/ast/static_features.cpp
@@ -402,17 +402,15 @@ bool static_features::pre_process(expr * e, bool form_ctx, bool or_and_ctx, bool
     if (is_marked_post(e))
         return true;
 
+    if (is_marked_pre(e))
+        return true;
+
     if (is_var(e)) {
         mark_pre(e);
         mark_post(e);
         return true;
     }
 
-    if (is_marked_pre(e)) {
-        m_num_sharing++;
-        return true;
-    }    
-
     mark_pre(e);
 
     update_core(e);
@@ -430,7 +428,9 @@ bool static_features::pre_process(expr * e, bool form_ctx, bool or_and_ctx, bool
     bool all_processed = true;
     for (expr* arg : *to_app(e)) {
         m.is_not(arg, arg);
-        if (!is_marked_post(arg)) {
+        if (is_marked_post(arg))
+            ++m_num_sharing;
+        else {
             add_process(arg, form_ctx_new, or_and_ctx_new, ite_ctx_new);
             all_processed = false;
         }
@@ -537,6 +537,7 @@ void static_features::process_all() {
         auto const& [e, form, or_and, ite] = m_to_process.back();
         if (is_marked_post(e)) {
             m_to_process.pop_back();
+            ++m_num_sharing;
             continue;
         }
         if (!pre_process(e, form, or_and, ite))