Merge branch 'master' into meilers_term_pred_fix

marcoeilers · web-flow · commit cb4f1e5f2cce · 2023-04-24T15:25:30.000+02:00
diff --git a/src/test/resources/examples/vmcai2016/linked-list-predicates-with-wands.vpr b/src/test/resources/examples/vmcai2016/linked-list-predicates-with-wands.vpr
@@ -2,6 +2,7 @@
 // http://creativecommons.org/publicdomain/zero/1.0/
 
 //:: IgnoreFile(/carbon/issue/102/)
+//:: IgnoreFile(/silicon/issue/208/)
 
 /*****************************************************************
  * List Nodes
