commit: 0e92cfaf9a9fe2f03d665e2060d58470ebba1a27 Author: Maciej Barć <xgqt <AT> gentoo <DOT> org> AuthorDate: Mon Mar 18 13:21:42 2024 +0000 Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org> CommitDate: Mon Mar 18 23:04:28 2024 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0e92cfaf
dev-lang/dafny: disable tests requiring cargo Closes: https://bugs.gentoo.org/927242 Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org> dev-lang/dafny/dafny-4.5.0.ebuild | 3 +++ 1 file changed, 3 insertions(+) diff --git a/dev-lang/dafny/dafny-4.5.0.ebuild b/dev-lang/dafny/dafny-4.5.0.ebuild index 1f25339c17f6..601423b0fbfa 100644 --- a/dev-lang/dafny/dafny-4.5.0.ebuild +++ b/dev-lang/dafny/dafny-4.5.0.ebuild @@ -485,7 +485,10 @@ src_prepare() { git-issues/git-issue-2299.dfy git-issues/git-issue-2301.dfy git-issues/git-issue-505.dfy + metatests/InconsistentCompilerBehavior.dfy + metatests/TestBeyondVerifierExpect.dfy separate-verification/assumptions.dfy + server/counterexample_none.transcript triggers/emptyTrigger.dfy unicodechars/DafnyTests/RunAllTestsOption.dfy vstte2012/Combinators.dfy
