[P4_Symbolic] Modified conditional_sequence.smt2 (sonic-net#677)

Co-authored-by: kheradmandG kheradmand@google.com
divyagayathri-hcl · Oct 30, 2024 · b5df62a · b5df62a
1 parent 4e95a68
commit b5df62a
Show file tree

Hide file tree

Showing 5 changed files with 2,849 additions and 66 deletions.
diff --git a/p4_symbolic/ir/BUILD.bazel b/p4_symbolic/ir/BUILD.bazel
@@ -138,6 +138,12 @@ ir_parsing_test(
     p4_program = "//p4_symbolic/testdata:set-invalid/set_invalid.p4",
 )
 
+ir_parsing_test(
+    name = "conditional_sequence_test",
+    golden_file = "expected/conditional_sequence.txt",
+    p4_program = "//p4_symbolic/testdata:conditional/conditional_sequence.p4",
+)
+
 ir_parsing_test(
     name = "table_hit_1_test",
     golden_file = "expected/table_hit_1.txt",

diff --git a/p4_symbolic/ir/expected/conditional.txt b/p4_symbolic/ir/expected/conditional.txt
@@ -659,8 +659,8 @@ conditionals {
           operation: EQUALS
           left {
             field_value {
-              header_name: "ethernet"
-              field_name: "ether_type"
+              header_name: "standard_metadata"
+              field_name: "ingress_port"
             }
           }
           right {