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

Comment out ho_curried_application and ho_choice_expression tests

Browse source 
Comment out two test functions for debugging purposes.
This commit is contained in:
Nikolaj Bjorner 2026-06-02 08:47:43 -07:00 • committed by GitHub
parent 78a7b4d3a6
commit 3e0a350411
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
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();