Context constructor
Context(
- Config _originalConfig
Implementation
Context(this._originalConfig)
: _context = _libz3.mk_context_rc(_originalConfig._config) {
_finalizer.attach(this, _context);
_instances[_context] = WeakReference(this);
_libz3.set_error_handler(_context, Pointer.fromFunction(_errorHandler));
}