search

lwlshawn / pe

0 stars 0 forks source link

Parameters cannot be given in any order for the visit command #7

Open lwlshawn opened 2 years ago

lwlshawn commented 2 years ago

image.png

Similar to the other report, the visit command does not appear to allow parameters to be given in any order.

nus-pe-bot commented 2 years ago

Team's Response

When we mention parameters, we do not mean the index. Rather, we refer to the parameters that come after flags, and this is demonstrated in the examples given in the user guide under "Notes about command format".

Items for the Tester to Verify

:question: Issue response

Team chose [response.Rejected]

Reason for disagreement: In their UG, they explicitly state the following:

image.png

As seen in the picture, any words in UPPER_CASE are parameters. Now, in the documentation of their visit command:

image.png

INDEX here is in upper-case, so clearly it is meant to be a parameter. And finally, in this part of their documentation:

image.png

They say that parameters can be given in any order, thus a reasonable reading of their UG shows that this is a bug. They say "they do not mean the index" but according to their own documentation INDEX is clearly a parameter. The examples provided are irrelevant, given that they themselves have stated that parameters should be possible to supply in any order.