speculate expecting test failures

This commit is contained in:
Chris Dornan 2021-05-27 21:29:46 +01:00
parent ac86b30954
commit 36140929a4

View File

@ -6152,6 +6152,8 @@ expected-test-failures:
- sbv
- speculate
# end of expected-test-failures
# Benchmarks which are known not to build. Note that, currently we do not run