Deploying to gh-pages from @ 9c98084 🚀

bmv2_2test__backend_2ptf_8h_source.html

@@ -176,7 +176,7 @@
 <div class="line"><a id="l00064" name="l00064"></a><span class="lineno">   64</span><span class="preprocessor">#endif </span><span class="comment">/* BACKENDS_P4TOOLS_MODULES_TESTGEN_TARGETS_BMV2_TEST_BACKEND_PTF_H_ */</span><span class="preprocessor"></span></div>
 <div class="ttc" id="aclass_p4_tools_1_1_p4_testgen_1_1_bmv2_1_1_bmv2_test_framework_html"><div class="ttname"><a href="class_p4_tools_1_1_p4_testgen_1_1_bmv2_1_1_bmv2_test_framework.html">P4Tools::P4Testgen::Bmv2::Bmv2TestFramework</a></div><div class="ttdoc">Bmv2TestFramework provides common utility functions for BMv2-style test frameworks.</div><div class="ttdef"><b>Definition</b> common.h:17</div></div>
 <div class="ttc" id="aclass_p4_tools_1_1_p4_testgen_1_1_bmv2_1_1_p_t_f_html"><div class="ttname"><a href="class_p4_tools_1_1_p4_testgen_1_1_bmv2_1_1_p_t_f.html">P4Tools::P4Testgen::Bmv2::PTF</a></div><div class="ttdoc">Extracts information from the @testSpec to emit a PTF test case.</div><div class="ttdef"><b>Definition</b> bmv2/test_backend/ptf.h:25</div></div>
-<div class="ttc" id="aclass_p4_tools_1_1_p4_testgen_1_1_bmv2_1_1_p_t_f_html_aea82a9ad510f9f24807877ed030d57b9"><div class="ttname"><a href="class_p4_tools_1_1_p4_testgen_1_1_bmv2_1_1_p_t_f.html#aea82a9ad510f9f24807877ed030d57b9">P4Tools::P4Testgen::Bmv2::PTF::writeTestToFile</a></div><div class="ttdeci">void writeTestToFile(const TestSpec *spec, cstring selectedBranches, size_t testId, float currentCoverage) override</div><div class="ttdoc">Produce a PTF test.</div><div class="ttdef"><b>Definition</b> bmv2/test_backend/ptf.cpp:128</div></div>
+<div class="ttc" id="aclass_p4_tools_1_1_p4_testgen_1_1_bmv2_1_1_p_t_f_html_aea82a9ad510f9f24807877ed030d57b9"><div class="ttname"><a href="class_p4_tools_1_1_p4_testgen_1_1_bmv2_1_1_p_t_f.html#aea82a9ad510f9f24807877ed030d57b9">P4Tools::P4Testgen::Bmv2::PTF::writeTestToFile</a></div><div class="ttdeci">void writeTestToFile(const TestSpec *spec, cstring selectedBranches, size_t testId, float currentCoverage) override</div><div class="ttdoc">Produce a PTF test.</div><div class="ttdef"><b>Definition</b> bmv2/test_backend/ptf.cpp:129</div></div>
 <div class="ttc" id="aclass_p4_tools_1_1_p4_testgen_1_1_test_spec_html"><div class="ttname"><a href="class_p4_tools_1_1_p4_testgen_1_1_test_spec.html">P4Tools::P4Testgen::TestSpec</a></div><div class="ttdef"><b>Definition</b> lib/test_spec.h:296</div></div>
 <div class="ttc" id="aclasscstring_html"><div class="ttname"><a href="classcstring.html">cstring</a></div><div class="ttdef"><b>Definition</b> cstring.h:80</div></div>
 <div class="ttc" id="anamespace_p4_tools_1_1_p4_testgen_1_1_bmv2_html"><div class="ttname"><a href="namespace_p4_tools_1_1_p4_testgen_1_1_bmv2.html">P4Tools::P4Testgen::Bmv2</a></div><div class="ttdoc">Inja.</div><div class="ttdef"><b>Definition</b> targets/bmv2/cmd_stepper.cpp:33</div></div>

common_2lib_2format__int_8h_source.html

@@ -190,23 +190,23 @@
 <div class="line"><a id="l00105" name="l00105"></a><span class="lineno">  105</span> </div>
 <div class="line"><a id="l00106" name="l00106"></a><span class="lineno">  106</span><span class="preprocessor">#endif </span><span class="comment">/* BACKENDS_P4TOOLS_COMMON_LIB_FORMAT_INT_H_ */</span><span class="preprocessor"></span></div>
 <div class="ttc" id="anamespace_p4_tools_html"><div class="ttname"><a href="namespace_p4_tools.html">P4Tools</a></div><div class="ttdef"><b>Definition</b> common/compiler/compiler_result.cpp:3</div></div>
-<div class="ttc" id="anamespace_p4_tools_html_a29db582e37d97efb891dbdfc686a7c87"><div class="ttname"><a href="namespace_p4_tools.html#a29db582e37d97efb891dbdfc686a7c87">P4Tools::insertOctalSeparators</a></div><div class="ttdeci">std::string insertOctalSeparators(const std::string &amp;dataStr)</div><div class="ttdoc">Takes an octal-formatted string as input and inserts slashes as separators.</div><div class="ttdef"><b>Definition</b> common/lib/format_int.cpp:268</div></div>
+<div class="ttc" id="anamespace_p4_tools_html_a29db582e37d97efb891dbdfc686a7c87"><div class="ttname"><a href="namespace_p4_tools.html#a29db582e37d97efb891dbdfc686a7c87">P4Tools::insertOctalSeparators</a></div><div class="ttdeci">std::string insertOctalSeparators(const std::string &amp;dataStr)</div><div class="ttdoc">Takes an octal-formatted string as input and inserts slashes as separators.</div><div class="ttdef"><b>Definition</b> common/lib/format_int.cpp:259</div></div>
 <div class="ttc" id="anamespace_p4_tools_html_a36fcc18b9e83e626d8914ab8d37c8973"><div class="ttname"><a href="namespace_p4_tools.html#a36fcc18b9e83e626d8914ab8d37c8973">P4Tools::formatBin</a></div><div class="ttdeci">std::string formatBin(const big_int &amp;value, int width, const FormatOptions &amp;formatOptions)</div><div class="ttdoc">Format.</div><div class="ttdef"><b>Definition</b> common/lib/format_int.cpp:20</div></div>
-<div class="ttc" id="anamespace_p4_tools_html_a3977f9cd2063b769dc361c65404cf07a"><div class="ttname"><a href="namespace_p4_tools.html#a3977f9cd2063b769dc361c65404cf07a">P4Tools::insertHexSeparators</a></div><div class="ttdeci">std::string insertHexSeparators(const std::string &amp;dataStr)</div><div class="ttdoc">Takes a hex-formatted string as input and inserts slashes as separators.</div><div class="ttdef"><b>Definition</b> common/lib/format_int.cpp:272</div></div>
-<div class="ttc" id="anamespace_p4_tools_html_a46baf77e4a92e8267bfc712325b83cd7"><div class="ttname"><a href="namespace_p4_tools.html#a46baf77e4a92e8267bfc712325b83cd7">P4Tools::convertToMacString</a></div><div class="ttdeci">std::optional&lt; std::string &gt; convertToMacString(const std::vector&lt; uint8_t &gt; &amp;byteArray)</div><div class="ttdef"><b>Definition</b> common/lib/format_int.cpp:339</div></div>
-<div class="ttc" id="anamespace_p4_tools_html_a535c3606c75eb5affd5a219366d16408"><div class="ttname"><a href="namespace_p4_tools.html#a535c3606c75eb5affd5a219366d16408">P4Tools::formatOctalExpr</a></div><div class="ttdeci">std::string formatOctalExpr(const IR::Expression *expr, const FormatOptions &amp;formatOptions)</div><div class="ttdef"><b>Definition</b> common/lib/format_int.cpp:164</div></div>
-<div class="ttc" id="anamespace_p4_tools_html_a55a958c4ada0186232c693e7e4c39de4"><div class="ttname"><a href="namespace_p4_tools.html#a55a958c4ada0186232c693e7e4c39de4">P4Tools::insertSeparators</a></div><div class="ttdeci">std::string insertSeparators(const std::string &amp;dataStr, const std::string &amp;separator, size_t stride, bool skipFirst)</div><div class="ttdef"><b>Definition</b> common/lib/format_int.cpp:240</div></div>
-<div class="ttc" id="anamespace_p4_tools_html_a625518a9562cb3a9d1be1cee71ef9fb0"><div class="ttname"><a href="namespace_p4_tools.html#a625518a9562cb3a9d1be1cee71ef9fb0">P4Tools::formatHex</a></div><div class="ttdeci">std::string formatHex(const big_int &amp;value, int width, const FormatOptions &amp;formatOptions)</div><div class="ttdoc">Format.</div><div class="ttdef"><b>Definition</b> common/lib/format_int.cpp:92</div></div>
-<div class="ttc" id="anamespace_p4_tools_html_a66d827a358838ed3121e3777073bce66"><div class="ttname"><a href="namespace_p4_tools.html#a66d827a358838ed3121e3777073bce66">P4Tools::formatBinExpr</a></div><div class="ttdeci">std::string formatBinExpr(const IR::Expression *expr, const FormatOptions &amp;formatOptions)</div><div class="ttdef"><b>Definition</b> common/lib/format_int.cpp:131</div></div>
-<div class="ttc" id="anamespace_p4_tools_html_a95c693f6605f51aa8b20533b23bb6d20"><div class="ttname"><a href="namespace_p4_tools.html#a95c693f6605f51aa8b20533b23bb6d20">P4Tools::convertBigIntToBytes</a></div><div class="ttdeci">std::vector&lt; uint8_t &gt; convertBigIntToBytes(const big_int &amp;dataInt, int targetWidthBits, bool padLeft)</div><div class="ttdef"><b>Definition</b> common/lib/format_int.cpp:276</div></div>
-<div class="ttc" id="anamespace_p4_tools_html_aa5eaf5d46ae3293b504ec9bf8f5802d3"><div class="ttname"><a href="namespace_p4_tools.html#aa5eaf5d46ae3293b504ec9bf8f5802d3">P4Tools::formatBinOrHexExpr</a></div><div class="ttdeci">std::string formatBinOrHexExpr(const IR::Expression *expr, const FormatOptions &amp;formatOptions)</div><div class="ttdef"><b>Definition</b> common/lib/format_int.cpp:235</div></div>
-<div class="ttc" id="anamespace_p4_tools_html_ab632dba742c8a939a25939774234c6fa"><div class="ttname"><a href="namespace_p4_tools.html#ab632dba742c8a939a25939774234c6fa">P4Tools::convertToIpv4String</a></div><div class="ttdeci">std::optional&lt; std::string &gt; convertToIpv4String(const std::vector&lt; uint8_t &gt; &amp;byteArray)</div><div class="ttdef"><b>Definition</b> common/lib/format_int.cpp:300</div></div>
+<div class="ttc" id="anamespace_p4_tools_html_a3977f9cd2063b769dc361c65404cf07a"><div class="ttname"><a href="namespace_p4_tools.html#a3977f9cd2063b769dc361c65404cf07a">P4Tools::insertHexSeparators</a></div><div class="ttdeci">std::string insertHexSeparators(const std::string &amp;dataStr)</div><div class="ttdoc">Takes a hex-formatted string as input and inserts slashes as separators.</div><div class="ttdef"><b>Definition</b> common/lib/format_int.cpp:263</div></div>
+<div class="ttc" id="anamespace_p4_tools_html_a46baf77e4a92e8267bfc712325b83cd7"><div class="ttname"><a href="namespace_p4_tools.html#a46baf77e4a92e8267bfc712325b83cd7">P4Tools::convertToMacString</a></div><div class="ttdeci">std::optional&lt; std::string &gt; convertToMacString(const std::vector&lt; uint8_t &gt; &amp;byteArray)</div><div class="ttdef"><b>Definition</b> common/lib/format_int.cpp:330</div></div>
+<div class="ttc" id="anamespace_p4_tools_html_a535c3606c75eb5affd5a219366d16408"><div class="ttname"><a href="namespace_p4_tools.html#a535c3606c75eb5affd5a219366d16408">P4Tools::formatOctalExpr</a></div><div class="ttdeci">std::string formatOctalExpr(const IR::Expression *expr, const FormatOptions &amp;formatOptions)</div><div class="ttdef"><b>Definition</b> common/lib/format_int.cpp:152</div></div>
+<div class="ttc" id="anamespace_p4_tools_html_a55a958c4ada0186232c693e7e4c39de4"><div class="ttname"><a href="namespace_p4_tools.html#a55a958c4ada0186232c693e7e4c39de4">P4Tools::insertSeparators</a></div><div class="ttdeci">std::string insertSeparators(const std::string &amp;dataStr, const std::string &amp;separator, size_t stride, bool skipFirst)</div><div class="ttdef"><b>Definition</b> common/lib/format_int.cpp:228</div></div>
+<div class="ttc" id="anamespace_p4_tools_html_a625518a9562cb3a9d1be1cee71ef9fb0"><div class="ttname"><a href="namespace_p4_tools.html#a625518a9562cb3a9d1be1cee71ef9fb0">P4Tools::formatHex</a></div><div class="ttdeci">std::string formatHex(const big_int &amp;value, int width, const FormatOptions &amp;formatOptions)</div><div class="ttdoc">Format.</div><div class="ttdef"><b>Definition</b> common/lib/format_int.cpp:84</div></div>
+<div class="ttc" id="anamespace_p4_tools_html_a66d827a358838ed3121e3777073bce66"><div class="ttname"><a href="namespace_p4_tools.html#a66d827a358838ed3121e3777073bce66">P4Tools::formatBinExpr</a></div><div class="ttdeci">std::string formatBinExpr(const IR::Expression *expr, const FormatOptions &amp;formatOptions)</div><div class="ttdef"><b>Definition</b> common/lib/format_int.cpp:119</div></div>
+<div class="ttc" id="anamespace_p4_tools_html_a95c693f6605f51aa8b20533b23bb6d20"><div class="ttname"><a href="namespace_p4_tools.html#a95c693f6605f51aa8b20533b23bb6d20">P4Tools::convertBigIntToBytes</a></div><div class="ttdeci">std::vector&lt; uint8_t &gt; convertBigIntToBytes(const big_int &amp;dataInt, int targetWidthBits, bool padLeft)</div><div class="ttdef"><b>Definition</b> common/lib/format_int.cpp:267</div></div>
+<div class="ttc" id="anamespace_p4_tools_html_aa5eaf5d46ae3293b504ec9bf8f5802d3"><div class="ttname"><a href="namespace_p4_tools.html#aa5eaf5d46ae3293b504ec9bf8f5802d3">P4Tools::formatBinOrHexExpr</a></div><div class="ttdeci">std::string formatBinOrHexExpr(const IR::Expression *expr, const FormatOptions &amp;formatOptions)</div><div class="ttdef"><b>Definition</b> common/lib/format_int.cpp:223</div></div>
+<div class="ttc" id="anamespace_p4_tools_html_ab632dba742c8a939a25939774234c6fa"><div class="ttname"><a href="namespace_p4_tools.html#ab632dba742c8a939a25939774234c6fa">P4Tools::convertToIpv4String</a></div><div class="ttdeci">std::optional&lt; std::string &gt; convertToIpv4String(const std::vector&lt; uint8_t &gt; &amp;byteArray)</div><div class="ttdef"><b>Definition</b> common/lib/format_int.cpp:291</div></div>
 <div class="ttc" id="anamespace_p4_tools_html_acad4cf753436869430db93cc24251ea3"><div class="ttname"><a href="namespace_p4_tools.html#acad4cf753436869430db93cc24251ea3">P4Tools::FormatOptions::usePrefix</a></div><div class="ttdeci">bool usePrefix</div><div class="ttdef"><b>Definition</b> common/lib/format_int.h:28</div></div>
 <div class="ttc" id="anamespace_p4_tools_html_acb77ecdf32c4767401b64c7df0562ab1"><div class="ttname"><a href="namespace_p4_tools.html#acb77ecdf32c4767401b64c7df0562ab1">P4Tools::FormatOptions::padOutput</a></div><div class="ttdeci">bool padOutput</div><div class="ttdef"><b>Definition</b> common/lib/format_int.h:23</div></div>
 <div class="ttc" id="anamespace_p4_tools_html_ade98b986787b295e0b115a6d5f76aa0f"><div class="ttname"><a href="namespace_p4_tools.html#ade98b986787b295e0b115a6d5f76aa0f">P4Tools::FormatOptions::useSeparator</a></div><div class="ttdeci">bool useSeparator</div><div class="ttdef"><b>Definition</b> common/lib/format_int.h:19</div></div>
 <div class="ttc" id="anamespace_p4_tools_html_ae1421e55e9f21ef413e6f39f231c0261"><div class="ttname"><a href="namespace_p4_tools.html#ae1421e55e9f21ef413e6f39f231c0261">P4Tools::FormatOptions::useUpperCaseHex</a></div><div class="ttdeci">bool useUpperCaseHex</div><div class="ttdoc">In case of hex strings, use uppercase instead of lowercase letters.</div><div class="ttdef"><b>Definition</b> common/lib/format_int.h:31</div></div>
-<div class="ttc" id="anamespace_p4_tools_html_afa4b19cc78ef894259019f4fc915492c"><div class="ttname"><a href="namespace_p4_tools.html#afa4b19cc78ef894259019f4fc915492c">P4Tools::convertToIpv6String</a></div><div class="ttdeci">std::optional&lt; std::string &gt; convertToIpv6String(const std::vector&lt; uint8_t &gt; &amp;byteArray)</div><div class="ttdef"><b>Definition</b> common/lib/format_int.cpp:318</div></div>
-<div class="ttc" id="anamespace_p4_tools_html_afe3fe889bce20bde821c65d28af20f26"><div class="ttname"><a href="namespace_p4_tools.html#afe3fe889bce20bde821c65d28af20f26">P4Tools::formatHexExpr</a></div><div class="ttdeci">std::string formatHexExpr(const IR::Expression *expr, const FormatOptions &amp;formatOptions)</div><div class="ttdef"><b>Definition</b> common/lib/format_int.cpp:197</div></div>
+<div class="ttc" id="anamespace_p4_tools_html_afa4b19cc78ef894259019f4fc915492c"><div class="ttname"><a href="namespace_p4_tools.html#afa4b19cc78ef894259019f4fc915492c">P4Tools::convertToIpv6String</a></div><div class="ttdeci">std::optional&lt; std::string &gt; convertToIpv6String(const std::vector&lt; uint8_t &gt; &amp;byteArray)</div><div class="ttdef"><b>Definition</b> common/lib/format_int.cpp:309</div></div>
+<div class="ttc" id="anamespace_p4_tools_html_afe3fe889bce20bde821c65d28af20f26"><div class="ttname"><a href="namespace_p4_tools.html#afe3fe889bce20bde821c65d28af20f26">P4Tools::formatHexExpr</a></div><div class="ttdeci">std::string formatHexExpr(const IR::Expression *expr, const FormatOptions &amp;formatOptions)</div><div class="ttdef"><b>Definition</b> common/lib/format_int.cpp:185</div></div>
 <div class="ttc" id="anamespace_p4_tools_html_struct_p4_tools_1_1_format_options"><div class="ttname"><a href="namespace_p4_tools.html#struct_p4_tools_1_1_format_options">P4Tools::FormatOptions</a></div><div class="ttdoc">Defines common formatting options.</div><div class="ttdef"><b>Definition</b> common/lib/format_int.h:14</div></div>
 </div><!-- fragment --></div><!-- contents -->
 </div><!-- doc-content -->

targets_2bmv2_2test__backend_8h_source.html

@@ -172,7 +172,7 @@
 <div class="line"><a id="l00050" name="l00050"></a><span class="lineno">   50</span><span class="preprocessor">#endif </span><span class="comment">/* BACKENDS_P4TOOLS_MODULES_TESTGEN_TARGETS_BMV2_TEST_BACKEND_H_ */</span><span class="preprocessor"></span></div>
 <div class="ttc" id="aclass_p4_tools_1_1_model_html"><div class="ttname"><a href="class_p4_tools_1_1_model.html">P4Tools::Model</a></div><div class="ttdef"><b>Definition</b> backends/p4tools/common/lib/model.h:19</div></div>
 <div class="ttc" id="aclass_p4_tools_1_1_p4_testgen_1_1_bmv2_1_1_bmv2_test_backend_html"><div class="ttname"><a href="class_p4_tools_1_1_p4_testgen_1_1_bmv2_1_1_bmv2_test_backend.html">P4Tools::P4Testgen::Bmv2::Bmv2TestBackend</a></div><div class="ttdef"><b>Definition</b> targets/bmv2/test_backend.h:22</div></div>
-<div class="ttc" id="aclass_p4_tools_1_1_p4_testgen_1_1_bmv2_1_1_bmv2_test_backend_html_a5e15378e21f13c059d2a63d55bea9694"><div class="ttname"><a href="class_p4_tools_1_1_p4_testgen_1_1_bmv2_1_1_bmv2_test_backend.html#a5e15378e21f13c059d2a63d55bea9694">P4Tools::P4Testgen::Bmv2::Bmv2TestBackend::createTestSpec</a></div><div class="ttdeci">const TestSpec * createTestSpec(const ExecutionState *executionState, const Model *finalModel, const TestInfo &amp;testInfo) override</div><div class="ttdef"><b>Definition</b> targets/bmv2/test_backend.cpp:88</div></div>
+<div class="ttc" id="aclass_p4_tools_1_1_p4_testgen_1_1_bmv2_1_1_bmv2_test_backend_html_a5e15378e21f13c059d2a63d55bea9694"><div class="ttname"><a href="class_p4_tools_1_1_p4_testgen_1_1_bmv2_1_1_bmv2_test_backend.html#a5e15378e21f13c059d2a63d55bea9694">P4Tools::P4Testgen::Bmv2::Bmv2TestBackend::createTestSpec</a></div><div class="ttdeci">const TestSpec * createTestSpec(const ExecutionState *executionState, const Model *finalModel, const TestInfo &amp;testInfo) override</div><div class="ttdef"><b>Definition</b> targets/bmv2/test_backend.cpp:89</div></div>
 <div class="ttc" id="aclass_p4_tools_1_1_p4_testgen_1_1_bmv2_1_1_bmv2_test_backend_html_af2d0aec1ca5404e6361287dc662cab2b"><div class="ttname"><a href="class_p4_tools_1_1_p4_testgen_1_1_bmv2_1_1_bmv2_test_backend.html#af2d0aec1ca5404e6361287dc662cab2b">P4Tools::P4Testgen::Bmv2::Bmv2TestBackend::produceTestInfo</a></div><div class="ttdeci">TestBackEnd::TestInfo produceTestInfo(const ExecutionState *executionState, const Model *finalModel, const IR::Expression *outputPacketExpr, const IR::Expression *outputPortExpr, const std::vector&lt; std::reference_wrapper&lt; const TraceEvent &gt; &gt; *programTraces) override</div><div class="ttdef"><b>Definition</b> targets/bmv2/test_backend.cpp:70</div></div>
 <div class="ttc" id="aclass_p4_tools_1_1_p4_testgen_1_1_bmv2_1_1_bmv2_v1_model_program_info_html"><div class="ttname"><a href="class_p4_tools_1_1_p4_testgen_1_1_bmv2_1_1_bmv2_v1_model_program_info.html">P4Tools::P4Testgen::Bmv2::Bmv2V1ModelProgramInfo</a></div><div class="ttdef"><b>Definition</b> targets/bmv2/program_info.h:15</div></div>
 <div class="ttc" id="aclass_p4_tools_1_1_p4_testgen_1_1_execution_state_html"><div class="ttname"><a href="class_p4_tools_1_1_p4_testgen_1_1_execution_state.html">P4Tools::P4Testgen::ExecutionState</a></div><div class="ttdoc">Represents state of execution after having reached a program point.</div><div class="ttdef"><b>Definition</b> execution_state.h:34</div></div>