Class: Udb::GlobalOptions

Inherits:

T::Struct

• Object
• T::Struct
• Udb::GlobalOptions

Defined in:

lib/udb/global_opts.rb

Instance Attribute Summary

• #parallel_z3 ⇒ Boolean

  when true, set Z3's parallel.enable param to true.

Instance Method Summary

• #initialize(parallel_z3: true) constructor

Constructor Details

#initialize(parallel_z3: true)

Parameters:

• parallel_z3 (Boolean) (defaults to: true) —

  when true, set Z3's parallel.enable param to true

# File ''

prop :parallel_z3, T::Boolean, default: true

Instance Attribute Details

#parallel_z3 ⇒ Boolean

when true, set Z3's parallel.enable param to true

Returns:

• (Boolean)

# File ''

prop :parallel_z3, T::Boolean, default: true