Merge branch 'main' into Dvaas_6

sonic-net · Dec 11, 2024 · 7a49d56 · 7a49d56
2 parents 5d5e43d + 7eea0f4
commit 7a49d56
Show file tree

Hide file tree

Showing 30 changed files with 4,211 additions and 2,276 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",
+)