mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-02 20:31:21 +00:00
Code Activity

Merge pull request #1640 from waywardmonkeys/z3-true-false-bool

Browse source 
Z3_TRUE/Z3_FALSE should be true/false, not 1/0.
This commit is contained in:
Nikolaj Bjorner 2018-05-23 10:00:48 -07:00 • committed by GitHub
commit 77aef356cf
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 4 deletions
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; 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. \brief Lifted Boolean type: \c false, \c undefined, \c true.