diff options
Diffstat (limited to 'test/xfails')
| -rw-r--r-- | test/xfails | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/xfails b/test/xfails index 75c1fd5..64c817c 100644 --- a/test/xfails +++ b/test/xfails @@ -1 +1 @@ -100-medium +100-medium - Solver cannot yet make uncertain/exploratory steps |