Comment out attr-assign test

goblint · Jul 26, 2024 · a1b28f2 · a1b28f2
1 parent ce1c7f7
commit a1b28f2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/test/testcil.pl b/test/testcil.pl
@@ -222,7 +222,7 @@ sub addToGroup {
 addTest("test/attr11 _GNUCC=1");
 addTest("test/attr12 _GNUCC=1");
 addTest("test/attr13 _GNUCC=1");
-addTest("test/attr-assign");
+# addTest("test/attr-assign"); # TODO: only on OSX, Linux GCC errors on introduced
 addTest("testrun/packed _GNUCC=1 WARNINGS_ARE_ERRORS=1");
 addTest("test/packed2 _GNUCC=1");
 addTest("test/bitfield");