Deploying to gh-pages from @ 5e3e702 🚀

exec.html

@@ -181,7 +181,7 @@ <h1 class="menu-title">hevm</h1>
                 <div id="content" class="content">
                     <main>
                         <h1 id="hevm-exec"><a class="header" href="#hevm-exec"><code>hevm exec</code></a></h1>
-<p>Run an EVM computation using specified parameters, using an interactive debugger when <code>--debug</code> flag is given.</p>
+<p>Run an EVM computation using specified parameters.</p>
 <pre><code>Usage: hevm exec [--code TEXT] [--calldata TEXT] [--address ADDR]
                  [--caller ADDR] [--origin ADDR] [--coinbase ADDR]
                  [--value W256] [--nonce WORD64] [--gas WORD64] [--number W256]
@@ -217,7 +217,8 @@ <h1 id="hevm-exec"><a class="header" href="#hevm-exec"><code>hevm exec</code></a
   --rpc TEXT               Fetch state from a remote node
   --block W256             Block state is be fetched from
   --root STRING            Path to project root directory (default: . )
-  --project-type PROJECTTYPE Foundry or CombinedJSON project
+  --project-type PROJ      Foundry or CombinedJSON project (default: Foundry)
+  --assertion-type ASSERT  Assertions as per Forge or DSTest (default: Forge)
 </code></pre>
 <p>Minimum required flags: either you must provide <code>--code</code> or you must both pass
 <code>--rpc</code> and <code>--address</code>.</p>

print.html

@@ -1365,7 +1365,7 @@ <h2 id="using-forge-to-build-your-project-for-symbolic-execution"><a class="head
 <p>If <code>--sig</code> is given, calldata is assumed to take the form of the function
 given. If left out, calldata is a fully abstract buffer of at most 256 bytes.</p>
 <div style="break-before: page; page-break-before: always;"></div><h1 id="hevm-exec"><a class="header" href="#hevm-exec"><code>hevm exec</code></a></h1>
-<p>Run an EVM computation using specified parameters, using an interactive debugger when <code>--debug</code> flag is given.</p>
+<p>Run an EVM computation using specified parameters.</p>
 <pre><code>Usage: hevm exec [--code TEXT] [--calldata TEXT] [--address ADDR]
                  [--caller ADDR] [--origin ADDR] [--coinbase ADDR]
                  [--value W256] [--nonce WORD64] [--gas WORD64] [--number W256]
@@ -1401,7 +1401,8 @@ <h2 id="using-forge-to-build-your-project-for-symbolic-execution"><a class="head
   --rpc TEXT               Fetch state from a remote node
   --block W256             Block state is be fetched from
   --root STRING            Path to project root directory (default: . )
-  --project-type PROJECTTYPE Foundry or CombinedJSON project
+  --project-type PROJ      Foundry or CombinedJSON project (default: Foundry)
+  --assertion-type ASSERT  Assertions as per Forge or DSTest (default: Forge)
 </code></pre>
 <p>Minimum required flags: either you must provide <code>--code</code> or you must both pass
 <code>--rpc</code> and <code>--address</code>.</p>