From 5e8b2cf76e6a5ac0402a21d1a92a10efad2fcb0c Mon Sep 17 00:00:00 2001 From: Dspil Date: Wed, 7 Feb 2024 15:21:17 +0100 Subject: [PATCH] ignore non-deterministic test --- .../resources/all/third_party/stefan_recent/testTreeWandE1.vpr | 1 + 1 file changed, 1 insertion(+) diff --git a/src/test/resources/all/third_party/stefan_recent/testTreeWandE1.vpr b/src/test/resources/all/third_party/stefan_recent/testTreeWandE1.vpr index 04cf88c6a..74181c254 100644 --- a/src/test/resources/all/third_party/stefan_recent/testTreeWandE1.vpr +++ b/src/test/resources/all/third_party/stefan_recent/testTreeWandE1.vpr @@ -2,6 +2,7 @@ // http://creativecommons.org/publicdomain/zero/1.0/ //:: IgnoreFile(/Carbon/issue/253/) +//:: IgnoreFile(/silicon/issues/801/) field Wand_state_contains_for_state_contains__lemma: Int field Wand_state_contains_for_state_contains__in_1: Ref