mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-07 09:55:19 +00:00
Code Activity

try get_string contents again

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2021-10-25 16:03:40 +02:00
parent 45681b4c6e
commit 075769c4c0
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/api/api_seq.cpp
View file

@ -237,7 +237,7 @@ extern "C" {
Z3_CATCH_RETURN(0); Z3_CATCH_RETURN(0);
} }
void Z3_API Z3_get_string_contents(Z3_context c, Z3_ast s, unsigned length, unsigned* contents) { void Z3_API Z3_get_string_contents(Z3_context c, Z3_ast s, unsigned length, unsigned contents[]) {
Z3_TRY; Z3_TRY;
LOG_Z3_get_string_contents(c, s, length, contents); LOG_Z3_get_string_contents(c, s, length, contents);
RESET_ERROR_CODE(); RESET_ERROR_CODE();

2
src/api/z3_api.h
View file

@ -3554,7 +3554,7 @@ extern "C" {
def_API('Z3_get_string_contents', VOID, (_in(CONTEXT), _in(AST), _in(UINT), _out_array(2, UINT))) def_API('Z3_get_string_contents', VOID, (_in(CONTEXT), _in(AST), _in(UINT), _out_array(2, UINT)))
*/ */
void Z3_API Z3_get_string_contents(Z3_context c, Z3_ast s, unsigned length, unsigned buffer[]); void Z3_API Z3_get_string_contents(Z3_context c, Z3_ast s, unsigned length, unsigned contents[]);
/** /**
\brief Create an empty sequence of the sequence sort \c seq. \brief Create an empty sequence of the sequence sort \c seq.