Searched refs:vrevision (Results 1 – 3 of 3) sorted by relevance
/dports/math/py-z3-solver/z3-z3-4.8.10/src/test/ |
H A D | api_bug.cpp | 11 unsigned vmajor, vminor, vbuild, vrevision; in tst_api_bug() local 13 Z3_get_version(&vmajor, &vminor, &vbuild, &vrevision); in tst_api_bug() 15 printf("Using Z3 Version %u.%u (build %u, revision %u)\n", vmajor, vminor, vbuild, vrevision); in tst_api_bug()
|
/dports/math/z3/z3-z3-4.8.13/src/test/ |
H A D | api_bug.cpp | 11 unsigned vmajor, vminor, vbuild, vrevision; in tst_api_bug() local 13 Z3_get_version(&vmajor, &vminor, &vbuild, &vrevision); in tst_api_bug() 15 printf("Using Z3 Version %u.%u (build %u, revision %u)\n", vmajor, vminor, vbuild, vrevision); in tst_api_bug()
|
/dports/devel/gdb/gdb-11.1/gdb/ |
H A D | top.c | 2197 int vmajor = 0, vminor = 0, vrevision = 0; in init_gdb_version_vars() local 2198 sscanf (version, "%d.%d.%d", &vmajor, &vminor, &vrevision); in init_gdb_version_vars() 2200 set_internalvar_integer (minor_version_var, vminor + (vrevision > 0)); in init_gdb_version_vars()
|