From 60fef928ccb8622ffe426f4caca5f01d3bf30fe1 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 13 Jan 2023 16:12:48 -0800
Subject: [PATCH] missing code signing

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 scripts/nightly.yaml                           | 4 ++--
 scripts/release.yml                            | 4 ++--
 src/ast/converters/generic_model_converter.cpp | 1 +
 3 files changed, 5 insertions(+), 4 deletions(-)

diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index ab4e9fc0d..f0a4bfed0 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -366,7 +366,7 @@ stages:
         minorVersion: $(Minor)
         patchVersion: $(Patch)
         arguments: 'pack $(Agent.TempDirectory)\package\out\Microsoft.Z3.x86.sym.nuspec -Version $(NightlyVersion) -OutputDirectory $(Build.ArtifactStagingDirectory) -Verbosity detailed -Symbols -SymbolPackageFormat snupkg -BasePath $(Agent.TempDirectory)\package\out' 
-    - task: EsrpCodeSigning@1
+    - task: EsrpCodeSigning@2
       continueOnError: true 
       displayName: 'Sign Package'
       inputs:
@@ -394,7 +394,7 @@ stages:
         SessionTimeout: '60'
         MaxConcurrency: '50'
         MaxRetryAttempts: '5'
-    - task: EsrpCodeSigning@1
+    - task: EsrpCodeSigning@2
       continueOnError: true 
       displayName: 'Sign Symbol Package'
       inputs:
diff --git a/scripts/release.yml b/scripts/release.yml
index 22773c319..ac301316c 100644
--- a/scripts/release.yml
+++ b/scripts/release.yml
@@ -319,7 +319,7 @@ stages:
       inputs:
         command: custom
         arguments: 'pack $(Agent.TempDirectory)\package\out\Microsoft.Z3.x86.sym.nuspec -OutputDirectory $(Build.ArtifactStagingDirectory) -Verbosity detailed -Symbols -SymbolPackageFormat snupkg -BasePath $(Agent.TempDirectory)\package\out' 
-    - task: EsrpCodeSigning@1
+    - task: EsrpCodeSigning@2
       displayName: 'Sign Package'
       inputs:
         ConnectedServiceName: 'z3-esrp-signing-2'
@@ -346,7 +346,7 @@ stages:
         SessionTimeout: '60'
         MaxConcurrency: '50'
         MaxRetryAttempts: '5'
-    - task: EsrpCodeSigning@1
+    - task: EsrpCodeSigning@2
       displayName: 'Sign Symbol Package'
       inputs:
         ConnectedServiceName: 'z3-esrp-signing-2'
diff --git a/src/ast/converters/generic_model_converter.cpp b/src/ast/converters/generic_model_converter.cpp
index 9adb9ee4b..d2ba27936 100644
--- a/src/ast/converters/generic_model_converter.cpp
+++ b/src/ast/converters/generic_model_converter.cpp
@@ -30,6 +30,7 @@ Notes:
 
 void generic_model_converter::add(func_decl * d, expr* e) {
     VERIFY(e);
+    verbose_stream() << d->get_name() << " " << mk_pp(e, m) << "\n";
     VERIFY(d->get_range() == e->get_sort());
     m_entries.push_back(entry(d, e, m, ADD));
 }