Deploy to GitHub Pages on develop: 566e94c

develop/book/016_syntax_description.html

@@ -156,6 +156,13 @@ <h1 id="syntax-description">Syntax Description</h1>
       rules.</p>
       <pre><code>macros      := &#39;macros&#39; &#39;:&#39; macro (&#39;,&#39; macro)*
 macro       := ident &#39;(&#39; [(var) (&#39;,&#39; var)*] &#39;)&#39; &#39;=&#39; term</code></pre>
+      <p>Configuration blocks allow the specification of certain Tamarin
+      command line options in the model file itself. Options passed over
+      the command line override options given in a configuration
+      block.</p>
+      <pre><code>configuration := &#39;configuration&#39; &#39;:&#39; &#39;&quot;&#39; option (&#39; &#39; option)* &#39;&quot;&#39;
+option          := &#39;--auto-sources&#39; | (&#39;--stop-on-trace&#39; &#39;=&#39; search_method)
+search_method := &#39;DFS&#39; | &#39;BFS&#39; | &#39;SEQDFS&#39; | &#39;NONE&#39;</code></pre>
       <p>Restrictions specify restrictions on the set of traces
       considered, i.e., they filter the set of traces of a protocol. The
       formula of a restriction is available as an assumption in the