fix(tests/kernel/max_sharing): max_sharing on OSX
This commit is contained in:
parent
115dedbd1c
commit
a446c54b87
3 changed files with 9 additions and 5 deletions
|
@ -668,6 +668,7 @@ void initialize_expr() {
|
||||||
}
|
}
|
||||||
|
|
||||||
void finalize_expr() {
|
void finalize_expr() {
|
||||||
|
enable_expr_caching(false);
|
||||||
delete g_Prop;
|
delete g_Prop;
|
||||||
delete g_Type1;
|
delete g_Type1;
|
||||||
delete g_dummy;
|
delete g_dummy;
|
||||||
|
|
|
@ -747,10 +747,11 @@ levels param_names_to_levels(level_param_names const & ps) {
|
||||||
|
|
||||||
void initialize_level() {
|
void initialize_level() {
|
||||||
g_level_zero = new level(new level_cell(level_kind::Zero, 7u));
|
g_level_zero = new level(new level_cell(level_kind::Zero, 7u));
|
||||||
g_level_one = new level(mk_succ(mk_level_zero()));
|
g_level_one = new level(new level_succ(*g_level_zero));
|
||||||
}
|
}
|
||||||
|
|
||||||
void finalize_level() {
|
void finalize_level() {
|
||||||
|
enable_level_caching(false);
|
||||||
delete g_level_one;
|
delete g_level_one;
|
||||||
delete g_level_zero;
|
delete g_level_zero;
|
||||||
}
|
}
|
||||||
|
|
|
@ -69,10 +69,12 @@ int main() {
|
||||||
initialize_kernel_module();
|
initialize_kernel_module();
|
||||||
initialize_library_module();
|
initialize_library_module();
|
||||||
init_default_print_fn();
|
init_default_print_fn();
|
||||||
|
{
|
||||||
scoped_expr_caching set(false);
|
scoped_expr_caching set(false);
|
||||||
tst1();
|
tst1();
|
||||||
tst2();
|
tst2();
|
||||||
tst3();
|
tst3();
|
||||||
|
}
|
||||||
finalize_library_module();
|
finalize_library_module();
|
||||||
finalize_kernel_module();
|
finalize_kernel_module();
|
||||||
finalize_sexpr_module();
|
finalize_sexpr_module();
|
||||||
|
|
Loading…
Reference in a new issue