Method: Z3::LowLevel.enable_trace

Defined in:
lib/z3/low_level_auto.rb

.enable_trace(str) ⇒ Object

> :void



216
217
218
 
# File 'lib/z3/low_level_auto.rb', line 216

def enable_trace(str) #=> :void
  VeryLowLevel.Z3_enable_trace(str)
end