disable linked-list with predicates example, since it does not seem to reliably terminate on the CI for Carbon

gauravpartha · gauravpartha · commit 1383e0fb2d9e · 2023-04-25T11:51:43.000+02:00
diff --git a/src/test/resources/examples/vmcai2016/linked-list-predicates.vpr b/src/test/resources/examples/vmcai2016/linked-list-predicates.vpr
@@ -1,6 +1,8 @@
 // Any copyright is dedicated to the Public Domain.
 // http://creativecommons.org/publicdomain/zero/1.0/
 
+//:: IgnoreFile(/carbon/issue/280/)
+
 /*****************************************************************
  * List Nodes
  *****************************************************************/
