z3GlobalVersion top-level property

Version z3GlobalVersion

Implementation

final Version z3GlobalVersion = () {
  final major = calloc<UnsignedInt>();
  final minor = calloc<UnsignedInt>();
  final build = calloc<UnsignedInt>();
  final revision = calloc<UnsignedInt>();
  try {
    _libz3.get_version(major, minor, build, revision);
    final result = Version(
      major.value,
      minor.value,
      build.value,
      pre: revision.value == 0 ? null : 'r$revision',
    );
    return result;
  } finally {
    malloc.free(major);
    malloc.free(minor);
    malloc.free(build);
    malloc.free(revision);
  }
}();