reverted starting size of ast hash table, see also Z3Prover#5040

ptr1120 · Sep 4, 2022 · 61e0179 · 61e0179
1 parent b601c03
commit 61e0179
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/azure-pipelines.yml b/azure-pipelines.yml
@@ -9,7 +9,7 @@ variables:
   ubsanEnv: 'CXXFLAGS="${CXXFLAGS} -fsanitize=undefined" CFLAGS="${CFLAGS} -fsanitize=undefined"'
   msanEnv: 'CC=clang LDFLAGS="-L../libcxx/libcxx_msan/lib -lc++abi -Wl,-rpath=../libcxx/libcxx_msan/lib" CXX=clang++ CXXFLAGS="${CXXFLAGS} -stdlib=libc++ -fsanitize-memory-track-origins -fsanitize=memory -fPIE -fno-omit-frame-pointer -g -O2" CFLAGS="${CFLAGS} -stdlib=libc -fsanitize=memory -fsanitize-memory-track-origins -fno-omit-frame-pointer -g -O2"'
   ReleaseVersion: '4.11.2'
-  NugetVersion: '$(ReleaseVersion)-ci-0001'
+  NugetVersion: '$(ReleaseVersion)-ast-size-0001'
   NugetDescription: 'Build on Azure: BuildId $(Build.BuildId) \n * native change: starting size of ast hash table, see also https://github.com/Z3Prover/z3/pull/5040'
 
 stages:
@@ -394,7 +394,7 @@ stages:
             artifact: AllArtifacts
 #    - task: GitHubRelease@0
 #      inputs:
-#        gitHubConnection: Z3GitHub
+#        gitHubConnection: Z3Prover
 #        repositoryName: $(Build.Repository.Name)
 #        action: 'create'
 #        target: '$(Build.SourceVersion)'

diff --git a/src/ast/ast.h b/src/ast/ast.h
@@ -972,7 +972,6 @@ class ast_translation;
 
 class ast_table : public chashtable<ast*, obj_ptr_hash<ast>, ast_eq_proc> {
 public:
-    ast_table() : chashtable({}, {}, 512 * 1024, 8 * 1024) {}
     void push_erase(ast * n);
     ast* pop_erase();
 };