Method: Z3::LowLevel.get_version

Defined in:
lib/z3/low_level.rb

.get_version ⇒ Object 



7
8
9
10
11
12
13
14
 
# File 'lib/z3/low_level.rb', line 7

def get_version
  a = FFI::MemoryPointer.new(:int)
  b = FFI::MemoryPointer.new(:int)
  c = FFI::MemoryPointer.new(:int)
  d = FFI::MemoryPointer.new(:int)
  Z3::VeryLowLevel.Z3_get_version(a, b, c, d)
  [a.get_uint(0), b.get_uint(0), c.get_uint(0), d.get_uint(0)]
end