[P4_Symbolic] p4_symbolic/bmv2/expected/table_hit_1.pb.txt

[VSuryaprasad-HCL]

Keyword Check:
/sonic-buildimage/src/sonic-p4rt/sonic-pins$ ~/tools/keyword_checks.sh .
Keyword check Passed.

Build Result:
/sonic/src/sonic-p4rt/sonic-pins$ bazel build $BAZEL_BUILD_OPTS ...
INFO: Analyzed 555 targets (1 packages loaded, 141 targets configured).
INFO: Found 555 targets...
INFO: From Compiling p4_symbolic/sai/parser.cc:
p4_symbolic/sai/parser.cc: In function 'absl::lts_20230802::StatusOr<std::vectorz3::expr > p4_symbolic::EvaluateSaiParser(const SymbolicPerPacketState&)':
p4_symbolic/sai/parser.cc:59:51: warning: suggest parentheses around '&&' within '||' [-Wparentheses]
  59 |   constraints.push_back(icmp.valid == (ipv4.valid && ipv4.protocol == 0x01 ||
     |                                        ~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~
p4_symbolic/sai/parser.cc:61:50: warning: suggest parentheses around '&&' within '||' [-Wparentheses]
  61 |   constraints.push_back(tcp.valid == (ipv4.valid && ipv4.protocol == 0x06 ||
     |                                       ~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~
p4_symbolic/sai/parser.cc:63:50: warning: suggest parentheses around '&&' within '||' [-Wparentheses]
  63 |   constraints.push_back(udp.valid == (ipv4.valid && ipv4.protocol == 0x11 ||
     |                                       ~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~
INFO: From Compiling p4_symbolic/sai/parser.cc [for host]:
p4_symbolic/sai/parser.cc: In function 'absl::lts_20230802::StatusOr<std::vectorz3::expr > p4_symbolic::EvaluateSaiParser(const SymbolicPerPacketState&)':
INFO: From Compiling src/core/ext/transport/chttp2/transport/frame_goaway.cc [for host]:
In file included from external/com_github_grpc_grpc/src/core/ext/transport/chttp2/transport/hpack_parser.h:43,
from external/com_github_grpc_grpc/src/core/ext/transport/chttp2/transport/internal.h:49,
from external/com_github_grpc_grpc/src/core/ext/transport/chttp2/transport/frame_goaway.cc:36:
external/com_github_grpc_grpc/src/core/lib/channel/call_tracer.h:45:1: warning: multi-line comment [-Wcomment]
45 | // /
| ^
external/com_github_grpc_grpc/src/core/lib/channel/call_tracer.h:47:1: warning: multi-line comment [-Wcomment]
47 | // /
| ^
INFO: Elapsed time: 1117.040s, Critical Path: 195.47s
INFO: 2767 processes: 2807 linux-sandbox, 18 local.
INFO: Build completed successfully, 2767 total actions

Test Result:
sonic/src/sonic-p4rt/sonic-pins$ bazel test $BAZEL_BUILD_OPTS --cache_test_results=no ...
INFO: Elapsed time: 1117.040s, Critical Path: 195.47s
INFO: 2767 processes: 2807 linux-sandbox, 18 local.
INFO: Build completed successfully, 2767 total actions
//gutil:collections_test PASSED in 0.6s
//gutil:io_test PASSED in 0.5s
//gutil:proto_matchers_test PASSED in 0.7s
//gutil:proto_ordering_test PASSED in 2.1s
//gutil:proto_test PASSED in 0.6s
//gutil:status_matchers_test PASSED in 0.5s
//gutil:test_artifact_writer_test PASSED in 0.7s
//gutil:testing_test PASSED in 0.8s
//gutil:timer_test PASSED in 5.1s
//gutil:version_test PASSED in 3.1s
//lib:basic_switch_test PASSED in 0.9s
//lib:ixia_helper_test PASSED in 1.5s
//lib/basic_traffic:basic_p4rt_util_test PASSED in 12.1s
//p4rt_app/utils:event_data_tracker_test PASSED in 0.0s
//p4rt_app/utils:table_utility_test PASSED in 0.7s
//sai_p4/instantiations/google:clos_stage_test PASSED in 0.6s
//sai_p4/instantiations/google:fabric_border_router_p4info_up_to_date_test PASSED in 0.1s
//sai_p4/instantiations/google:middleblock_p4info_up_to_date_test PASSED in 0.1s
//sai_p4/instantiations/google:sai_nonstandard_platforms_build_test PASSED in 0.0s
//sai_p4/instantiations/google:sai_nonstandard_platforms_cc_test PASSED in 0.9s
//sai_p4/instantiations/google:sai_p4info_fetcher_test PASSED in 0.8s
//sai_p4/instantiations/google:sai_p4info_test PASSED in 1.2s
//sai_p4/instantiations/google:sai_pd_proto_test PASSED in 0.0s
//sai_p4/instantiations/google:sai_pd_util_test PASSED in 0.8s
//sai_p4/instantiations/google:tor_p4info_up_to_date_test PASSED in 0.1s
//sai_p4/instantiations/google:union_p4info_up_to_date_test PASSED in 0.9s
//sai_p4/instantiations/google:wbb_p4info_up_to_date_test PASSED in 0.1s
//sai_p4/instantiations/google/test_tools:table_entry_generator_helper_test PASSED in 4.6s
//sai_p4/instantiations/google/test_tools:test_entries_test PASSED in 1.0s
//sai_p4/instantiations/google/tests:p4_fuzzer_integration_test PASSED in 3.7s
//sai_p4/tools:p4info_tools_test PASSED in 0.7s
//sai_p4/tools:packetio_tools_test PASSED in 0.8s
//thinkit:bazel_test_environment_test PASSED in 0.8s
//thinkit:generic_testbed_test PASSED in 1.1s
//thinkit:mock_control_device_test PASSED in 0.6s
//thinkit:mock_generic_testbed_test PASSED in 0.8s
//thinkit:mock_mirror_testbed_test PASSED in 0.6s
//thinkit:mock_ssh_client_test PASSED in 0.1s
//thinkit:mock_switch_test PASSED in 0.8s
//thinkit:mock_test_environment_test PASSED in 0.2s
//thinkit:switch_test PASSED in 0.7s
//sai_p4/instantiations/google/tests:p4_constraints_integration_test PASSED in 10.8s
Stats over 5 runs: max = 10.8s, min = 0.8s, avg = 8.0s, dev = 3.7s
//sai_p4/instantiations/google/test_tools:table_entry_generator_test PASSED in 43.9s
Stats over 50 runs: max = 43.9s, min = 0.8s, avg = 5.6s, dev = 12.6s

Executed 182 out of 182 tests: 182 tests pass.
INFO: Build completed successfully, 2767 total actions

[VSuryaprasad-HCL]

Co-authored-by: kheradmandG [email protected]

[bibhuprasad-hcl]

@kishanps, Could you please review.
Thanks.