From 74679f83057458c7950811764b533965c96f6329 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Viktor=20Kun=C4=8Dak?= Date: Fri, 6 Dec 2024 22:09:59 +0100 Subject: [PATCH] Ignore princess solver for LeanMergeSort (#1613) * Ignore princess solver for LeanMergeSort * do not run stainless-explicit-fastmachines on PR --- .github/workflows/stainless-explicit-fastmachines.yml | 1 - .../it/scala/stainless/verification/VerificationSuite.scala | 3 ++- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/stainless-explicit-fastmachines.yml b/.github/workflows/stainless-explicit-fastmachines.yml index 5b4e4e07a..3aa8870a7 100644 --- a/.github/workflows/stainless-explicit-fastmachines.yml +++ b/.github/workflows/stainless-explicit-fastmachines.yml @@ -1,7 +1,6 @@ name: Stainless Explicit fast-machines on: workflow_dispatch: - pull_request: jobs: tests: runs-on: diff --git a/frontends/common/src/it/scala/stainless/verification/VerificationSuite.scala b/frontends/common/src/it/scala/stainless/verification/VerificationSuite.scala index 383f0dc23..82f6a32fa 100644 --- a/frontends/common/src/it/scala/stainless/verification/VerificationSuite.scala +++ b/frontends/common/src/it/scala/stainless/verification/VerificationSuite.scala @@ -101,6 +101,7 @@ class VerificationSuite extends VerificationComponentTestSuite { "verification/valid/IntSetInv", "verification/valid/Iterables", "verification/valid/LawTypeArgsElim", + "verification/valid/LeanMergeSort", "verification/valid/ListMonad", "verification/valid/ListOperations", "verification/valid/LiteralMaps", @@ -244,4 +245,4 @@ object VerificationSuite { private lazy val valid = ComponentTestSuite.loadPrograms("verification/valid", recursive = true) private lazy val invalid = ComponentTestSuite.loadPrograms("verification/invalid") private lazy val falseValid = ComponentTestSuite.loadPrograms("verification/false-valid") -} \ No newline at end of file +}