mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-06-05 00:20:50 +00:00
Code Activity

re-enable unit tests

Browse source
This commit is contained in:
Nikolaj Bjorner 2026-06-02 10:39:41 -07:00
parent 2dbe233f6a
commit 77f8b33794
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/test/smt2print_parse.cpp
View file

@ -322,8 +322,8 @@ void tst_smt2print_parse() {
// Test ?
test_repeated_eval();
//test_ho_curried_application();
//test_ho_choice_expression();
test_ho_curried_application();
test_ho_choice_expression();
test_symbol_escape();