t</a> * <a href="index.html#type-config">config</a></code></dt><dd><p>Get the cache and fails if the cache wasn't started</p></dd></dl><dl><dt class="spec value" id="val-get_traces"><a href="#val-get_traces" class="anchor"></a><code><span class="keyword">val</span> get_traces : <a href="../Utils/BytesSeq/index.html#type-t">Utils.BytesSeq.t</a> <span>&#45;&gt;</span> <span><a href="../Isla/Base/index.html#type-rtrc">Isla.Base.rtrc</a> list</span></code></dt><dd><p>Get the traces of the opcode given. Use <cod