Ad
  • Default User Avatar

    it's the second one that's expected
    that wording is terrible though because it refers to the assertion code which the solver doesn't get to see and it's all too easy to see "expected x" and then not read the rest