missing code signing

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Jan 14, 2023 · 60fef92 · 60fef92
1 parent 42fbf23
commit 60fef92
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 4 deletions.
diff --git 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
@@ -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
@@ -30,6 +30,7 @@ Module Name:
 
 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));
 }