From d22d1476c9923e935515e852c2112c63be357d56 Mon Sep 17 00:00:00 2001
From: AdarshRawat1 <AdarshRawat1@users.noreply.github.com>
Date: Tue, 1 Oct 2024 04:01:20 +0000
Subject: [PATCH] =?UTF-8?q?Deploying=20to=20gh-pages=20from=20@=20p4lang/p?=
 =?UTF-8?q?4c@6b5e68888d1b9a453ca12f2585852c56591c462f=20=F0=9F=9A=80?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 pr-preview/4919/ebpf_backend.html | 11 -----------
 pr-preview/4919/p4testgen.html    |  2 ++
 2 files changed, 2 insertions(+), 11 deletions(-)

diff --git a/pr-preview/4919/ebpf_backend.html b/pr-preview/4919/ebpf_backend.html
index 80eb2537a5b..ea08d3d7dea 100644
--- a/pr-preview/4919/ebpf_backend.html
+++ b/pr-preview/4919/ebpf_backend.html
@@ -173,15 +173,6 @@
               <li class="level4">
                 <a href="#translating-match-action-pipelines">Translating match-action pipelines</a>
               </li>
-            </ul>
-          </li>
-        </ul>
-      </li>
-      <li class="level2">
-        <a href="#autotoc_md0">autotoc_md0</a>
-        <ul>
-          <li class="level3 empty">
-            <ul>
               <li class="level4">
                 <a href="#generating-code-from-a-p4-file">Generating code from a .p4 file</a>
               </li>
@@ -497,8 +488,6 @@ <h4><a class="anchor" id="translating-parsers"></a>
 </table>
 <h4><a class="anchor" id="translating-match-action-pipelines"></a>
 Translating match-action pipelines</h4>
-<h2><a class="anchor" id="autotoc_md0"></a>
-autotoc_md0</h2>
 <table class="markdownTable">
 <tr class="markdownTableHead">
 <th class="markdownTableHeadNone">P4 Construct   </th><th class="markdownTableHeadNone">C Translation    </th></tr>
diff --git a/pr-preview/4919/p4testgen.html b/pr-preview/4919/p4testgen.html
index 2de302383a5..31ad7937016 100644
--- a/pr-preview/4919/p4testgen.html
+++ b/pr-preview/4919/p4testgen.html
@@ -287,6 +287,7 @@ <h3><a class="anchor" id="generating-specific-tests"></a>
 <h4><a class="anchor" id="restricted-tests"></a>
 Restricted Tests</h4>
 <p><code>testgen_assume(expr)</code> will add <code>expr</code> as a necessary path constraints to all subsequent execution. For example, for the following snippet </p><div class="fragment"><div class="line"> P4</div>
+<div class="line"> </div>
 <div class="line">state parse_ethernet {</div>
 <div class="line">    packet.extract(headers.ethernet);</div>
 <div class="line">    testgen_assume(headers.ethernet.ether_type == 0x800);</div>
@@ -300,6 +301,7 @@ <h4><a class="anchor" id="restricted-tests"></a>
 <h4><a class="anchor" id="finding-assertion-violations"></a>
 Finding Assertion Violations</h4>
 <p>Conversely, <code>testgen_assert(expr)</code> can be used to find violations in a particular P4 program. By default, <code>testgen_assert</code> behaves like <code>testgen_assume</code>. If the flag <code>--assertion-mode</code> is enabled, P4Testgen will only generate tests that will cause <code>expr</code> to be false and, hence, violate the assertion. For example, for </p><div class="fragment"><div class="line"> P4</div>
+<div class="line"> </div>
 <div class="line">state parse_ethernet {</div>
 <div class="line">    packet.extract(headers.ethernet);</div>
 <div class="line">    transition select(headers.ethernet.ether_type) {</div>