Skip to content

Commit

Permalink
ignore non-deterministic test
Browse files Browse the repository at this point in the history
  • Loading branch information
@Dspil
Dspil committed Feb 7, 2024
1 parent 399835d commit 5e8b2cf
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions src/test/resources/all/third_party/stefan_recent/testTreeWandE1.vpr
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit 5e8b2cf

Please sign in to comment.