The following macros are defined in
yices.h. They can be
used at compile time for checking the Yices version.
For Yices 2.5.0, they are defined as follows:
#define __YICES_VERSION 2 #define __YICES_VERSION_MAJOR 5 #define __YICES_VERSION_PATCHLEVEL 0
The same information is available in the following constant string.
Version as a string.
The string includes the version number, followed by the revision number and the patch level, as in
More details are given by three constant strings:
This is a string like
"x86_64-unknown-linux-gnu"that specifies the processor and operating system for which the Yices library was built.
Typical values are
"release"for a normal build, or
"debug"if the library was built with debug symbols.
This string uses the format
"Year-Month-Day", as in