l">read-dwarf</a> &#x00BB; <a href="../index.html">Config__</a> &#x00BB; Default</nav><h1>Module <code>Config__.Default</code></h1></header><dl><dt class="spec value" id="val-config_file"><a href="#val-config_file" class="anchor"></a><code><span class="keyword">val</span> config_file : string</code></dt><dd><p>Default config file</p></dd></dl><dl><dt class="spec value" id="val-z3"><a href="#val-z3" class="anchor"></a><code><span class="keyword">val</span> z3 : string</code></dt><dd><p>Default Z3 command. (C