mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-06 14:13:23 +00:00
Code Activity

add static love

Browse source
This commit is contained in:
Nuno Lopes 2022-09-04 11:57:35 +01:00
parent 8e6f17ebd0
commit b9ddb11701
1 changed files with 3 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

7
src/api/api_parsers.cpp
View file

@ -124,7 +124,7 @@ extern "C" {
Z3_CATCH; Z3_CATCH;
} }
Z3_ast_vector Z3_parser_context_parse_stream(Z3_context c, scoped_ptr<cmd_context>& ctx, bool owned, std::istream& is) { static Z3_ast_vector Z3_parser_context_parse_stream(Z3_context c, scoped_ptr<cmd_context>& ctx, bool owned, std::istream& is) {
Z3_TRY; Z3_TRY;
Z3_ast_vector_ref * v = alloc(Z3_ast_vector_ref, *mk_c(c), mk_c(c)->m()); Z3_ast_vector_ref * v = alloc(Z3_ast_vector_ref, *mk_c(c), mk_c(c)->m());
mk_c(c)->save_object(v); mk_c(c)->save_object(v);
@ -163,6 +163,7 @@ extern "C" {
Z3_CATCH_RETURN(nullptr); Z3_CATCH_RETURN(nullptr);
} }
static
Z3_ast_vector parse_smtlib2_stream(bool exec, Z3_context c, std::istream& is, Z3_ast_vector parse_smtlib2_stream(bool exec, Z3_context c, std::istream& is,
unsigned num_sorts, unsigned num_sorts,
Z3_symbol const _sort_names[], Z3_symbol const _sort_names[],
@ -257,6 +258,4 @@ extern "C" {
RETURN_Z3(mk_c(c)->mk_external_string(ous.str())); RETURN_Z3(mk_c(c)->mk_external_string(ous.str()));
Z3_CATCH_RETURN(mk_c(c)->mk_external_string(ous.str())); Z3_CATCH_RETURN(mk_c(c)->mk_external_string(ous.str()));
} }
}
};