MCPcopy Create free account
hub / github.com/Z3Prover/z3 / getFullVersion

Method getFullVersion

src/api/java/Version.java:69–72  ·  view source on GitHub ↗

A full version string

()

Source from the content-addressed store, hash-verified

67 * A full version string
68 **/
69 public static String getFullVersion()
70 {
71 return Native.getFullVersion();
72 }
73
74 /**
75 * A string representation of the version information.

Callers 2

mainMethod · 0.95
mainMethod · 0.95

Calls 1

getFullVersionMethod · 0.65

Tested by

no test coverage detected