Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
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
main
Method · 0.95
main
Method · 0.95
Calls
1
getFullVersion
Method · 0.65
Tested by
no test coverage detected