mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 17:44:08 +00:00
Code Activity

increase starting size of ast's hash table to 512k entries (instead of 8) (#5040)

Browse source
This commit is contained in:
Nuno Lopes 2021-03-02 19:45:07 +00:00 committed by GitHub
parent 56478f917b
commit 4c9fed21e2
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/ast/ast.h
View file

@ -966,6 +966,7 @@ class ast_translation;
class ast_table : public chashtable<ast*, obj_ptr_hash<ast>, ast_eq_proc> { class ast_table : public chashtable<ast*, obj_ptr_hash<ast>, ast_eq_proc> {
public: public:
ast_table() : chashtable({}, {}, 512 * 1024, 8 * 1024) {}
void push_erase(ast * n); void push_erase(ast * n);
ast* pop_erase(); ast* pop_erase();
}; };