Merge branch 'main' into Dvaas_7

sonic-net · Dec 11, 2024 · fe5d7be · fe5d7be
2 parents 32d22f5 + 7eea0f4
commit fe5d7be
Show file tree

Hide file tree

Showing 16 changed files with 2,016 additions and 94 deletions.
diff --git a/p4_symbolic/ir/BUILD.bazel b/p4_symbolic/ir/BUILD.bazel
@@ -243,3 +243,10 @@ ir_parsing_test(
     p4_deps = ["//p4_symbolic/testdata:common/headers.p4"],
     p4_program = "//p4_symbolic/testdata:parser/hex_string_transition.p4",
 )
+
+ir_parsing_test(
+    name = "fall_through_transition_test",
+    golden_file = "expected/fall_through_transition.txt",
+    p4_deps = ["//p4_symbolic/testdata:common/headers.p4"],
+    p4_program = "//p4_symbolic/testdata:parser/fall_through_transition.p4",
+)