get_version method

void get_version(
  1. Pointer<UnsignedInt> major,
  2. Pointer<UnsignedInt> minor,
  3. Pointer<UnsignedInt> build_number,
  4. Pointer<UnsignedInt> revision_number,
)

\brief Return Z3 version number information.

\sa Z3_get_full_version

def_API('Z3_get_version', VOID, (_out(UINT), _out(UINT), _out(UINT), _out(UINT)))

Implementation

void get_version(
  ffi.Pointer<ffi.UnsignedInt> major,
  ffi.Pointer<ffi.UnsignedInt> minor,
  ffi.Pointer<ffi.UnsignedInt> build_number,
  ffi.Pointer<ffi.UnsignedInt> revision_number,
) {
  return _get_version(
    major,
    minor,
    build_number,
    revision_number,
  );
}