mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-10 19:27:06 +00:00
Code Activity

Z3_TRUE/Z3_FALSE should be true/false, not 1/0.

Browse source 
Now that Z3_bool is a C bool, the associated constants should
be as well.
This commit is contained in:
Bruce Mitchener 2018-05-23 23:51:36 +07:00
parent f5775f265a
commit 510cb5ee6e
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
src/api/z3_api.h
View file

@ -83,14 +83,14 @@ typedef const char * Z3_string;
typedef Z3_string * Z3_string_ptr;
/**
\brief True value. It is just an alias for \c 1.
\brief True value. It is just an alias for \c true.
*/
#define Z3_TRUE 1
#define Z3_TRUE true
/**
\brief False value. It is just an alias for \c 0.
\brief False value. It is just an alias for \c false.
*/
#define Z3_FALSE 0
#define Z3_FALSE false
/**
\brief Lifted Boolean type: \c false, \c undefined, \c true.