Comment out attr-assign test

goblint · Jul 25, 2024 · 371baaa · 371baaa
1 parent c41945b
commit 371baaa
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");