[P4_Symbolic] Adding p4_symbolic/testdata/parser/sai_parser.p4 [Exten…

…d IR proto and translation to support parsers.] (sonic-net#759) Co-authored-by: kishanps <[email protected]> Co-authored-by: jonathan-dilorenzo <[email protected]>
VSuryaprasad-HCL · Nov 25, 2024 · 1027213 · 1027213
1 parent 858313f
commit 1027213
Show file tree

Hide file tree

Showing 4 changed files with 334 additions and 452 deletions.
diff --git a/p4_symbolic/ir/BUILD.bazel b/p4_symbolic/ir/BUILD.bazel
@@ -204,6 +204,13 @@ ir_parsing_test(
     p4_program = "//p4_symbolic/testdata:conditional/table_hit_2.p4",
 )
 
+ir_parsing_test(
+    name = "sai_parser_test",
+    golden_file = "expected/sai_parser.txt",
+    p4_deps = ["//p4_symbolic/testdata:common/headers.p4"],
+    p4_program = "//p4_symbolic/testdata:parser/sai_parser.p4",
+)
+
 ir_parsing_test(
     name = "hex_string_transition_test",
     golden_file = "expected/hex_string_transition.txt",