21 using System.Diagnostics.Contracts;
29 [ContractVerification(
true)]
30 public static class Version
37 public static uint Major
41 uint major = 0, minor = 0, build = 0, revision = 0;
42 Native.Z3_get_version(ref major, ref minor, ref build, ref revision);
50 public static uint Minor
54 uint major = 0, minor = 0, build = 0, revision = 0;
55 Native.Z3_get_version(ref major, ref minor, ref build, ref revision);
63 public static uint Build
67 uint major = 0, minor = 0, build = 0, revision = 0;
68 Native.Z3_get_version(ref major, ref minor, ref build, ref revision);
76 public static uint Revision
80 uint major = 0, minor = 0, build = 0, revision = 0;
81 Native.Z3_get_version(ref major, ref minor, ref build, ref revision);
89 new public static string ToString()
91 Contract.Ensures(Contract.Result<
string>() != null);
93 uint major = 0, minor = 0, build = 0, revision = 0;
94 Native.Z3_get_version(ref major, ref minor, ref build, ref revision);
95 return major.ToString() +
"." + minor.ToString() +
"." + build.ToString() +
"." + revision.ToString();