Closed RomanLangrehr closed 9 years ago
This is very close to #164! It highly depends whether they're talking about symbols or numbers.
This is very close to #164! It highly depends whether they're talking about symbols or numbers
I guess leading zeros is only an issue for the rules=
command, as they possibly define a set of symbols there.
(Which makes me rather uncertain whether move +1
really is an error, if move 01
was allowed…)
If move 01
is allowed, you can't really argue to permit move +1
, I think. Same for speedup and rule.
See Führende Nullen und + on KIT-ILIAS.
As per the response, this won't be tested by Praktomat, so we shouldn't include it in our tests.
I think leading zeros are allowed in