Merge pull request #680 from viperproject/marcoeilers-patch-1

Re-disabling unstable test for Silicon
viperproject · Apr 24, 2023 · 6e2ce95 · 6e2ce95
2 parents 747ded6 + 681a29a
commit 6e2ce95
Showing 1 changed file with 1 addition and 0 deletions.
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