readd elynx-markov test

This commit is contained in:
Dominik Schrempf 2021-06-14 14:55:30 +02:00
parent b91382f2ff
commit a1aaec3a59
No known key found for this signature in database
GPG Key ID: E82B4974AA8C563A

View File

@ -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