From a1aaec3a591f602a73d7bca98a76f48c5857e931 Mon Sep 17 00:00:00 2001 From: Dominik Schrempf Date: Mon, 14 Jun 2021 14:55:30 +0200 Subject: [PATCH] readd elynx-markov test --- build-constraints.yaml | 3 --- 1 file changed, 3 deletions(-) diff --git a/build-constraints.yaml b/build-constraints.yaml index b11e24d8..63797fff 100644 --- a/build-constraints.yaml +++ b/build-constraints.yaml @@ -6107,9 +6107,6 @@ expected-test-failures: - sbv - poly - - # https://github.com/dschrempf/elynx/issues/2 - - elynx-markov # end of expected-test-failures # Benchmarks which are known not to build. Note that, currently we do not run