diff options
| author | Théo Zimmermann | 2020-04-02 12:21:43 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2020-04-03 22:18:46 +0200 |
| commit | 8215466a316a94589251fb0156586d68ea8b5c38 (patch) | |
| tree | d349589d7f8f98f08ab4c801311c7c037a7e98d2 /test-suite/output/BadOptionValueType.v | |
| parent | c5c8ce135606f311834d4c0b9ac3e72be5ee4a36 (diff) | |
Improve error messages for Set and Unset commands.
In particular, the error messages do not mention anymore the notion of
bool-valued options, since these are documented as flags and work
quite differently from the rest of options.
Diffstat (limited to 'test-suite/output/BadOptionValueType.v')
| -rw-r--r-- | test-suite/output/BadOptionValueType.v | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/test-suite/output/BadOptionValueType.v b/test-suite/output/BadOptionValueType.v index b61c3757ba..12ca7bae21 100644 --- a/test-suite/output/BadOptionValueType.v +++ b/test-suite/output/BadOptionValueType.v @@ -1,4 +1,7 @@ Fail Set Default Timeout "2". +Fail Set Default Timeout. +Fail Set Bullet Behavior 2. +Fail Set Bullet Behavior. Fail Set Debug Eauto "yes". Fail Set Debug Eauto 1. -Fail Set Implicit Arguments 1. +Fail Unset Warnings. |