test-suite/output/BadOptionValueType.v


1
2
3
4
5
6
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 Unset Warnings.