simp failed, maximum number of steps exceeded

Stream: lean4

[Bolton Bailey]

I am getting the above error message when trying to invoke simp on a large goal. Is there some argument I can pass in to get this message to go away?

[Bolton Bailey]

The maxSteps in docs#Lean.Meta.Simp.Config I guess. It might be nice to make the error message communicate this

[Bolton Bailey]

Ok here's lean4#3287.