adjust xfails

p4lang · Oct 20, 2024 · 12fcfb0 · 12fcfb0
1 parent b8f96b6
commit 12fcfb0
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 4 deletions.
diff --git a/backends/tofino/bf-p4c/CMakeLists.txt b/backends/tofino/bf-p4c/CMakeLists.txt
@@ -1493,10 +1493,11 @@ if (ENABLE_GTESTS)
   set (GTEST_LDADD ${GTEST_LDADD}
       "bf_gtest_support;tofinobackend;${LIBDYNHASH_LIBRARY};bfn_p4runtime" PARENT_SCOPE)
 
-  add_test(NAME test_p4c_driver
-    COMMAND ${BFN_P4C_SOURCE_DIR}/scripts/test_p4c_driver.py -j 4 --print-on-failure --compiler ${P4C_BINARY_DIR}/bf-p4c
-    WORKING_DIRECTORY ${P4C_BINARY_DIR})
-  set_tests_properties(test_p4c_driver PROPERTIES LABELS lint)
+  # TODO: re-enable this test once p4-test is added to the build system
+  # add_test(NAME test_p4c_driver
+  #   COMMAND ${BFN_P4C_SOURCE_DIR}/scripts/test_p4c_driver.py -j 4 --print-on-failure --compiler ${P4C_BINARY_DIR}/bf-p4c
+  #   WORKING_DIRECTORY ${P4C_BINARY_DIR})
+  # set_tests_properties(test_p4c_driver PROPERTIES LABELS lint)
 
 endif(ENABLE_GTESTS)
 

diff --git a/tools/driver/CMakeLists.txt b/tools/driver/CMakeLists.txt
@@ -74,3 +74,13 @@ add_test(NAME driver_inputs_test_1 COMMAND ${P4C_SOURCE_DIR}/tools/driver/test_s
 add_test(NAME driver_inputs_test_2 COMMAND ${P4C_SOURCE_DIR}/tools/driver/test_scripts/driver_inputs_test_2)
 add_test(NAME driver_inputs_test_3 COMMAND ${P4C_SOURCE_DIR}/tools/driver/test_scripts/driver_inputs_test_3)
 add_test(NAME driver_inputs_test_4 COMMAND ${P4C_SOURCE_DIR}/tools/driver/test_scripts/driver_inputs_test_4)
+
+set(XFAIL driver_inputs_test_1
+          driver_inputs_test_2
+          driver_inputs_test_3
+          driver_inputs_test_4)
+
+set_tests_properties(driver_inputs_test_1 PROPERTIES LABELS "XFAIL" WILL_FAIL 1)
+set_tests_properties(driver_inputs_test_2 PROPERTIES LABELS "XFAIL" WILL_FAIL 1)
+set_tests_properties(driver_inputs_test_3 PROPERTIES LABELS "XFAIL" WILL_FAIL 1)
+set_tests_properties(driver_inputs_test_4 PROPERTIES LABELS "XFAIL" WILL_FAIL 1)