Merge pull request #6067 from dschrempf/elynx_markov_fix_test

readd elynx-markov test
This commit is contained in:
Jens Petersen 2021-06-16 21:23:21 +08:00 committed by GitHub
commit 49af412916
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -6106,9 +6106,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