The rest of the JuMP tests are silent on passing, so this last line could probably be axed