mirror of
https://github.com/lifting-bits/mcsema
synced 2026-06-08 15:31:09 +00:00
Artem Dinaburg
9 lines
195 B
C++
9 lines
195 B
C++
#include <assert.h>
|
|
#include <z3.h>
|
|
int main() {
|
|
unsigned int major, minor, build, rev;
|
|
Z3_get_version(&major, &minor, &build, &rev);
|
|
printf("%u.%u.%u", major, minor, build);
|
|
return 0;
|
|
}
|